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…