Travelled to:
1 × USA
Collaborated with:
C.Dehnert S.Junges N.Jansen F.Corzilius H.Bruintjes J.Katoen E.Ábrahám
Talks about:
obabilist (1) prophesi (1) ynthesi (1) param (1) tool (1) eter (1)
Person: Matthias Volk
DBLP: Volk:Matthias
Contributed to:
Wrote 1 papers:
- CAV-2015-DehnertJJCVBKA #named #parametricity #probability #synthesis
- PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, EÁ), pp. 214–231.