50 citations · 249 across the 50 of their papers we have counts for
3 papers · 1 filter
Temporal logic control of general Markov decision processes by approximate policy refinement
Sofie Haesaert, Sadegh Soudjani, Alessandro Abate
The formal verification and controller synthesis for Markov decision processes that evolve over uncountable state spaces are computationally hard and thus generally rely on the use…
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
Elizabeth Polgreen, Viraj Wijesuriya, Sofie Haesaert +1
We present a new method for statistical verification of quantitative properties over a partially unknown system with actions, utilising a parameterised model (in this work, a param…
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations
Fei Chen, Sofie Haesaert, Alessandro Abate +1
The analysis of industrial processes, modelled as descriptor systems, is often computationally hard due to the presence of both algebraic couplings and difference equations of high…