Inductive Synthesis for Probabilistic Programs Reaches New Horizons.

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

Browse the full TACAS paper archive.