0a. Reactive synthesis with Spectra #
We present a brief introduction to Spectra, a domain-specific language for reactive synthesis. Spectra is designed to specify and synthesize reactive systems, which are systems that continuously interact with their environment.
Updates to the tutorial in 2025 #
Return to the Spectra Tutorial Overview