info/FAQ

Research articles

My Pages

Stat

Members: 3657
Articles: 2'599'751
Articles rated: 2609

14 October 2024

» arxiv » 2206.00251

Article overview

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Swen Jacobs ; Guillermo A. Perez ; Remco Abraham ; Veronique Bruyere ; Michael Cadilhac ; Maximilien Colange ; Charly Delfosse ; Tom van Dijk ; Alexandre Duret-Lutz ; Peter Faymonville ; Bernd Finkbeiner ; Ayrat Khalimov ; Felix Klein ; Michael Luttenberger ; Klara Meyer ; Thibaud Michaud ; Adrien Pommellet ; Florian Renkin ; Philipp Schlehuber-Caissier ; Mouhammad Sakr ; Salomon Sickert ; Gaetan Staquet ; Clement Tamines ; Leander Tentrup ; Adam Walker ;
Date:	1 Jun 2022
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 of solutions.
Source:	arXiv, 2206.00251
Services:	Forum \| Review \| PDF \| Favorites

No review found.

Did you like this article?

This article or document is ...
important:
of broad interest:
readable:
new:
correct:
Global appreciation:

Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.

ScienXe.org
» my Online CV
» Free

home

contact

sitemap