Reactive Synthesis Competition
The reactive synthesis competition considers
two classes of synthesis problems: the synthesis
of reactive controllers for a given circuit in
AIGER format, and the synthesis of reactive
components based on a linear temporal logic
specification.
SYNT 2022 will host the ninth reactive synthesis competition
(SYNTCOMP 2022).