Author:Sofie Haesaert

Publications

Keyphrases

control synthesis3, control theory, formal verification3, Markov chains2, Markov Decision Processes2, model checking, stochastic models3.