E2. Execute your reactive system #

The Spectra project of this video project on GitHub: https://github.com/jringert/spectra-tutorial/tree/main/E2_execution

Currently, synthesizing symbolic controllers is easiest done inside Eclipse. It should also be possible using a CLI application. Let us know if you need a tutorial for that.

Solution #

The Spectra project of this video project on GitHub: https://github.com/jringert/spectra-tutorial/tree/main/E2_execution_solution

Return to the Spectra Tutorial Overview