|
[KBC+18]
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker and 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, 20(2), pages 179-194.
2018.
[Presents a collection of extensions to PRISM, including automatic variable reordering, reward-based properties and automata improvements.]
|
|
Links:
[Google]
[Google Scholar]
|