Counterexample-Driven Synthesis for Probabilistic Program Sketches

1 code implementation • 28 Apr 2019 • Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

Probabilistic programs are key to deal with uncertainty in e. g. controller synthesis.