by Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
Reference:
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám), Chapter in Computer Aided Verification, Springer International Publishing, 2015.
Bibtex Entry:
@incollection{dehnert2015prophesy,
title={PROPhESY: A PRObabilistic ParamEter SYnthesis Tool},
author={Dehnert, Christian and Junges, Sebastian and Jansen, Nils and Corzilius, Florian and Volk, Matthias and Bruintjes, Harold and Katoen, Joost-Pieter and {'A}brah{'a}m, Erika},
booktitle={Computer Aided Verification},
pages={214--231},
year={2015},
publisher={Springer International Publishing}
}