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} }