Symbolic counterexample generation for large discrete-time Markov chains

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

Bookmark the permalink.