Author:Sofie Haesaert

Publications

Keyphrases

control synthesis2, control theory, formal verification2, Markov chains, Markov Decision Processes, model checking, stochastic models2.