by Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Reference:
Counterexamples for Expected Rewards (Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker), Chapter in FM 2015: Formal Methods, Springer International Publishing, 2015.
Bibtex Entry:
@incollection{quatmann2015counterexamples,
title={Counterexamples for Expected Rewards},
author={Quatmann, Tim and Jansen, Nils and Dehnert, Christian and Wimmer, Ralf and {'A}brah{'a}m, Erika and Katoen, Joost-Pieter and Becker, Bernd},
booktitle={FM 2015: Formal Methods},
pages={435--452},
year={2015},
publisher={Springer International Publishing}
}