We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018–
2021). We briefly describe the evaluation scheme and the experimental setup of …

We study a variant of the problem of synthesizing Mealy machines that enforce LTL
specifications against all possible behaviours of the environment, including hostile ones. In …

We introduce NeuroSynt, a neuro-symbolic portfolio solver framework for reactive synthesis.
At the core of the solver lies a seamless integration of neural and symbolic approaches to …

This paper addresses the synthesis of reactive systems that enforce hard constraints while
optimizing for quality-based soft constraints. We build on recent advancements in combining …