Dependency-based Compositional Synthesis (Full Version)

Bernd Finkbeiner, Noemi Passing

Despite many recent advances, reactive synthesis is still not really a practical technique. The grand challenge is to scale from small transition systems, where synthesis performs…