PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Simon Stupinsk

Browse the full CAV paper archive.