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 2023 will host the tenth reactive synthesis competition (link TBD).