Menu
Home
Usage & Syntax
Contact
The Slugs GR(1) Synthesis Tool – Online Version
Specification
[INPUT] a [OUTPUT] b
Synthesize a finite-state strategy if the specification is realizable