In this module we will use the API to generate counter-strategies for unrealizable specifications.
We will then create console applications with all dependencies packaged to run the Java/Spectra process externally.
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.