Slugs: Extensible GR(1) Synthesis
CAV, pp. 333-339, 2016.
Applying reactive synthesis in practice often requires modifications of the synthesis algorithm in order to obtain useful implementations. We present slugs, a generalized reactivity(1) synthesis tool that has a powerful plugin architecture for modifying any aspect of the synthesis process to fit the application. Slugs comes pre-equipped w...More
PPT (Upload PPT)