Approximate Model Checking of Stochastic Hybrid Systems by Abate, A, Katoen, J, Lygeros, J, Prandini, M

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems by Tkachev, I, Abate, A, Mereacre, A, Katoen, J

Efficient CTMC Model Checking of Linear Real−Time Objectives by Barbot, B, Chen, T, Han, T, Katoen, J, Mereacre, A

Quantitative model-checking of controlled discrete-time Markov processes by Tkachev, I, Mereacre, A, Katoen, J, Abate, A

Approximate Model Checking of Stochastic Hybrid Systems by Abate, A, Katoen, J, Lygeros, J, Prandini, M

Synthesis and verification of delf-aware computing systems by Calinescu, R, Autili, M, Camara, J, Di Marco, A, Gerasimou, S, Inverardi, P, Perucci, A, Jansen, N, Katoen, J, Kwiatkowska, M, Mengshoel, O, Spalazzese, R, Tivoli, M

A Static Analysis Framework for Livelock Freedom in CSP by Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J

Other Authors: “…Katoen, J…”