mlsanityData to 14 Oct 2026

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

arXiv 2206.00251 ↗First posted 1 Jun 2022cs.LOcited by 8

Not on the map. Why?

Abstract (arXiv)

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 SYNTCOMP. Then, we introduce new benchmark classes that have been added to the SYNTCOMP library and give an overview of the participants of SYNTCOMP. Finally, we present and analyze the results of our experimental evaluations, including a ranking of tools with respect to quantity and quality - that is, the total size in terms of logic and memory elements - of solutions.

Key facts. Cited by 8 papers in the map (data through 14 Oct 2026). First posted on arXiv 1 Jun 2022.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2023: 2; 2024: 1; 2025: 3; 2026: 2.

8 papers.

  1. 2023Iterative Circuit Repair Against Formal Specificationscited by 9
  2. 2025SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learningcited by 6
  3. 2023Guessing Winning Policies in LTL Synthesis by Semantic Learningcited by 4
  4. 2024NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesiscited by 3
  5. 2025LTLf Learning Meets Boolean Set Covercited by 1
  6. 2026SemML 2.0: Synthesizing Controllers for LTLcited by 1
  7. 2025Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesiscited by 0
  8. 2026Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Modelscited by 0