Search Results for author: Milan Ceska

Found 3 papers, 1 papers with code

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

no code implementations29 Jan 2021 Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen

The method builds on a novel inductive oracle that greedily generates counter-examples (CEs) for violating programs and uses them to prune the family.

Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits

no code implementations5 Mar 2020 Milan Ceska, Jiri Matyas, Vojtech Mrazek, Lukas Sekanina, Zdenek Vasicek, Tomas Vojnar

We present a novel approach for designing complex approximate arithmetic circuits that trade correctness for power consumption and play important role in many energy-aware applications.

Shepherding Hordes of Markov Chains

1 code implementation15 Feb 2019 Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

This paper considers large families of Markov chains (MCs) that are defined over a set of parameters with finite discrete domains.

Cannot find the paper you are looking for? You can Submit a new open access paper.