3 citations · 3 across the 3 of their papers we have counts for
4 papers
Parameterized Infinite-State Reactive Synthesis
Benedikt Maderbacher, Roderick Bloem
We propose a method to synthesize a parameterized infinite-state systems that can be instantiated for different parameter values. The specification is given in a parameterized temp…
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…
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…
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…