The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Logic in Computer Science
2024-05-07 v2
Abstract
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.
Keywords
Cite
@article{arxiv.2206.00251,
title = {The Reactive Synthesis Competition (SYNTCOMP): 2018-2021},
author = {Swen Jacobs and Guillermo A. Perez and Remco Abraham and Veronique Bruyere and Michael Cadilhac and Maximilien Colange and Charly Delfosse and Tom van Dijk and Alexandre Duret-Lutz and Peter Faymonville and Bernd Finkbeiner and Ayrat Khalimov and Felix Klein and Michael Luttenberger and Klara Meyer and Thibaud Michaud and Adrien Pommellet and Florian Renkin and Philipp Schlehuber-Caissier and Mouhammad Sakr and Salomon Sickert and Gaetan Staquet and Clement Tamines and Leander Tentrup and Adam Walker},
journal= {arXiv preprint arXiv:2206.00251},
year = {2024}
}
Comments
accepted for publication in STTT