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 2025 will host the Reactive Synthesis competition
(SYNTCOMP 2025)
whose results will be presented at this workshop.