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 Milan Ceska

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

Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits


Mar 05, 2020
Milan Ceska, Jiri Matyas, Vojtech Mrazek, Lukas Sekanina, Zdenek Vasicek, Tomas Vojnar


  Access Paper or Ask Questions

Shepherding Hordes of Markov Chains


Mar 26, 2019
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

* Full version of TACAS'19 submission 

  Access Paper or Ask Questions