Preface Kaustubh Joshi, Markus Siegle | ||
Refinement and Difference for Probabilistic Automata | ||
Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen and Axel Legay | ||
Analysis of Timed and Long-Run Objectives for Markov Automata | ||
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen and Mark Timmer | ||
Stochastic Parity Games on Lossy Channel Systems | ||
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr and Sven Sandberg | ||
High-level Counterexamples for Probabilistic Automata | ||
Ralf Wimmer, Nils Jansen, Erika Ábrahám and Joost-Pieter Katoen | ||
Learning and Designing Stochastic Processes from Logical Constraints | ||
Luca Bortolussi and Guido Sanguinetti | ||