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.