by Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
Reference:
Counterexample generation for discrete-time Markov models: An introductory survey (Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer), Chapter in Formal Methods for Executable Software Models, Springer International Publishing, 2014.
Bibtex Entry:
@incollection{abraham2014counterexample, title={Counterexample generation for discrete-time Markov models: An introductory survey}, author={{'A}brah{'a}m, Erika and Becker, Bernd and Dehnert, Christian and Jansen, Nils and Katoen, Joost-Pieter and Wimmer, Ralf}, booktitle={Formal Methods for Executable Software Models}, pages={65--121}, year={2014}, publisher={Springer International Publishing} }