SPECIAL ISSUE:
Selected Papers of the "10th International Conference on Quantitative Evaluation of SysTems (QEST 2013)"
Buenos Aires, Argentina, 2013



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



DOI:

Creative Commons