Slugs: Extensible GR(1) Synthesis

CAV, pp. 333-339, 2016.

Cited by: 52|Bibtex|Views9|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments