PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs

Andriushchenko, Roman; Češka, Milan; Junges, Sebastian; Katoen, Joost-Pieter; Stupinský, Šimon

Cham, Switzerland : Springer (2021)
Contribution to a book, Contribution to a conference proceedings

In: Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings / Alexandra Silva, K. Rustan M. Leino (eds.). - Part I
Page(s)/Article-Nr.: 856-869