Advances in Probabilistic Model Checking with PRISM:
Variable Reordering, Quantiles and Weak Deterministic Büchi Automata

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
International Journal on Software Tools for Technology Transfer (STTT, Special issue "TACAS'16"), pp 1-16, 2017

Thank you for your interest in the implementation and additional materials for our article:


Homepage of Prof. Baier's group at TU Dresden.