Counterexample-Driven Synthesis for Probabilistic Program Sketches.

Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

Browse the full FM paper archive.