by Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Reference:
Minimal counterexamples for refuting $ømega$-regular properties of Markov decision processes. Reports of SFB (Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker), Technical report, TR 14 AVACS 88, 2012.
Bibtex Entry:
@techreport{wimmer2012minimal,
title={Minimal counterexamples for refuting $omega$-regular properties of Markov decision processes. Reports of SFB},
author={Wimmer, Ralf and Jansen, Nils and {'A}brah{'a}m, Erika and Katoen, Joost-Pieter and Becker, Bernd},
year={2012},
institution={TR 14 AVACS 88}
}