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}
}