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
Identifier
- DOI: 10.1007/978-3-030-81685-8_40
- DOI: 10.18154/RWTH-2021-09817
- RWTH PUBLICATIONS: RWTH-2021-09817