3 citations · 3 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
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…
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…