no code implementations • 10 Jul 2023 • Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Our specification language builds on top of the logic HyperPCTL and enhances it with structural constraints over the synthesized controllers.
no code implementations • 29 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.
no code implementations • 5 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.
1 code implementation • 15 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.
