6 citations · 6 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021
Unrealizable Cores for Reactive Systems Specifications
Shahar Maoz, Rafi Shalom
One of the main challenges of reactive synthesis, an automated procedure to obtain a correct-by-construction reactive system, is to deal with unrealizable specifications. One means…
cs.SE2019
Spectra: A Specification Language for Reactive Systems
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…