In this module we will use synthesized controllers in different Java applications.
The code is written to work with symbolic JIT controllers: ´Spectra -> Synthesize Just-In-Time Symbolic Controller´.
Extend the specification and the execution with an additional input variable emergency and a guarantee that in case of emergency both lights are red.
Extend the command line simulation with the new input.
The solution for this task may be found in the project E2_execution_solution.
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.