by Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Reference:
Minimal counterexamples for linear-time probabilistic verification (Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker), In Theoretical Computer Science, Elsevier, volume 549, 2014.
Bibtex Entry:
@article{wimmer2014minimal,
title={Minimal counterexamples for linear-time probabilistic verification},
author={Wimmer, Ralf and Jansen, Nils and {'A}brah{'a}m, Erika and Katoen, Joost-Pieter and Becker, Bernd},
journal={Theoretical Computer Science},
volume={549},
pages={61--100},
year={2014},
publisher={Elsevier}
}