Counterexample-Driven Synthesis for Probabilistic Program Sketches

Milan Češka, Christian Hensel, Sebastian Junges +1

Probabilistic programs are key to deal with uncertainty in e.g. controller synthesis. They are typically small but intricate. Their development is complex and error prone requiring…