3 papers
cs.LO2021
Reactive Synthesis Modulo Theories Using Abstraction Refinement
Benedikt Maderbacher, Roderick Bloem
Reactive synthesis builds a system from a specification given as a temporal logic formula. Traditionally, reactive synthesis is defined for systems with Boolean input and output va…
cs.SE2020
Adaptive Testing for Specification Coverage
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher +2
Ensuring correctness of cyber-physical systems (CPS) is an extremely challenging task that is in practice often addressed with simulation based testing. Formal specification langua…
cs.FL2018
Bounded Synthesis of Register Transducers
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
Reactive synthesis aims at automatic construction of systems from their behavioural specifications. The research mostly focuses on synthesis of systems dealing with Boolean signals…