12 citations · 12 across the 2 of their papers we have counts for
3 papers
Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications
Roderick Bloem, Uwe Egly, Patrick Klampfl +3
Existing approaches to synthesize reactive systems from declarative specifications mostly rely on Binary Decision Diagrams (BDDs), inheriting their scalability issues. We present n…
Cooperative Reactive Synthesis
Roderick Bloem, Ruediger Ehlers, Robert Koenighofer
A modern approach to engineering correct-by-construction systems is to synthesize them automatically from formal specifications. Oftentimes, a system can only satisfy its guarantee…
Synthesizing Robust Systems with RATSY
Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek +2
Specifications for reactive systems often consist of environment assumptions and system guarantees. An implementation should not only be correct, but also robust in the sense that…