papers
Publications (4)
cs.LO2013
Modelling, Reduction and Analysis of Markov Automata (extended version)
Dennis Guck, Hassan Hatefi, Holger Hermanns +2
cs.LO2010
Confluence Reduction for Probabilistic Systems (extended version)
Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
cs.LO2014
Analysis of Timed and Long-Run Objectives for Markov Automata
Dennis Guck, Hassan Hatefi, Holger Hermanns +2
cs.SE2012
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga