Optimal observation mode scheduling for systems under temporal constraints af Tesarova, E, Svorenova, M, Barnat, J, Cerna, I

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games af Svorenova, M, Kretinsky, J, Chmelik, M, Chatterjee, K, Cerna, I, Belta, C