Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Christian Hensel

Counterexample-Driven Synthesis for Probabilistic Program Sketches


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

* Extended version 

  Access Paper or Ask Questions