PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika brahm

Browse the full CAV paper archive.