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.