TY  - RPRT
TI  - Inductive Synthesis for Probabilistic Programs Reaches New Horizons
AU  - Roman Andriushchenko
AU  - Milan Ceska
AU  - Sebastian Junges
AU  - Joost-Pieter Katoen
PY  - 2021
UR  - https://arxiv.org/abs/2101.12683
ID  - 2101.12683
ER  -