In this module we will use an interactive simulation of a reactive system implementation using the Spectra Controller walker.
Synthesize a controller for specification GridL3_less.spectra and explore it as both players. Do not use determinization of the controller (settings dialog).
This module is part of a tutorial on the Spectra language and tools for reactive synthesis. More information and materials are available from the SYNTECH project website.