|
[KBC+17]
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.
2017.
[Presents a collection of extensions to PRISM, including automatic variable reordering, reward-based properties and automata improvements.]
|
|
Links:
[Google]
[Google Scholar]
|