by Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Bernd Becker
Reference:
High-level Counterexamples for Probabilistic Automata (Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Bernd Becker), In 10th International Conference on Quantitative Evaluation of Systems (QEST’13), 2013.
Bibtex Entry:
@inproceedings{wimmer2013high,
title={High-level Counterexamples for Probabilistic Automata},
author={Wimmer, Ralf and Jansen, Nils and Vorpahl, Andreas and {'A}brah{'a}m, Erika and Becker, Bernd},
booktitle={10th International Conference on Quantitative Evaluation of Systems (QEST’13)},
pages={39--54},
year={2013},
organization={Springer}
}