6 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
Shahar Maoz, Jan Oliver Ringert
Spectra is a new specification language for reactive systems, specifically tailored for the context of reactive synthesis. The meaning of Spectra is defined by a translation to a k…