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