cfaed Publications
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
Reference
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", In International Journal on Software Tools for Technology Transfer, pp. 1–16, 2017.
Bibtex
@article{KBCDDKMM17,
author = {Joachim Klein and Christel Baier and Philipp Chrszon and Marcus Daum and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Steffen M{\"a}rcker and David M{\"u}ller},
title = {Advances in probabilistic model checking with {PRISM}: variable reordering, quantiles and weak deterministic {B\"uchi} automata},
journal = {International Journal on Software Tools for Technology Transfer},
year = {2017},
pages = {1--16},
ee = {http://dx.doi.org/10.1007/s10009-017-0456-3},
}
author = {Joachim Klein and Christel Baier and Philipp Chrszon and Marcus Daum and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Steffen M{\"a}rcker and David M{\"u}ller},
title = {Advances in probabilistic model checking with {PRISM}: variable reordering, quantiles and weak deterministic {B\"uchi} automata},
journal = {International Journal on Software Tools for Technology Transfer},
year = {2017},
pages = {1--16},
ee = {http://dx.doi.org/10.1007/s10009-017-0456-3},
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1559