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.
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.
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 • 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.