by Nils Jansen, Ralf Wimmer, Erika Abraham, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
Reference:
Symbolic counterexample generation for large discrete-time Markov chains (Nils Jansen, Ralf Wimmer, Erika Abraham, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster), In Science of Computer Programming, Elsevier, volume 91, 2014.
Bibtex Entry:
@article{jansen2014symbolic, title={Symbolic counterexample generation for large discrete-time Markov chains}, author={Jansen, Nils and Wimmer, Ralf and Abraham, Erika and Zajzon, Barna and Katoen, Joost-Pieter and Becker, Bernd and Schuster, Johann}, journal={Science of Computer Programming}, volume={91}, pages={90--114}, year={2014}, publisher={Elsevier} }