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 Roman Andriushchenko

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

Jan 29, 2021
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen

* Full version of TACAS'21 submission 

  Access Paper or Ask Questions