Quantitative verification and strategy synthesis of stochastic games by Svorenova, M, Kwiatkowska, M

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

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

Resource-performance trade-off analysis for mobile robots by Lahijanian, M, Svorenova, M, Morye, A, Yeomans, B, Rao, D, Posner, I, Newman, P, Kress-Gazit, H, Kwiatkowska, M

Resource-Performance Trade-off Analysis for Mobile Robot Design by Lahijanian, M, Svorenova, M, Morye, A, Yeomans, B, Rao, D, Posner, I, Newman, P, Kress-Gazit, H, Kwiatkowska, M