The Reactive Synthesis Competition (SYNTCOMP): 2018–2021

Swen Jacobs; Guillermo A. Pérez; Remco Abraham; Véronique Bruyère; Michaël 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; Gaëtan Staquet; Clément Tamines; Leander Tentrup; Adam Walker

doi:10.1007/s10009-024-00754-1

The Reactive Synthesis Competition (SYNTCOMP): 2018–2021

Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël 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 SakrSalomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

Default

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

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.

Originalsprache	Englisch
Seiten (von - bis)	551-567
Seitenumfang	17
Fachzeitschrift	International Journal on Software Tools for Technology Transfer
Jahrgang	26
Ausgabenummer	5
DOIs	https://doi.org/10.1007/s10009-024-00754-1
Publikationsstatus	Veröffentlicht - Okt. 2024

Zugriff auf Dokument

10.1007/s10009-024-00754-1

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Jacobs, S., Pérez, G. A., Abraham, R., Bruyère, V., Cadilhac, M., Colange, M., Delfosse, C., van Dijk, T., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P., ... Walker, A. (2024). The Reactive Synthesis Competition (SYNTCOMP): 2018–2021. International Journal on Software Tools for Technology Transfer, 26(5), 551-567. https://doi.org/10.1007/s10009-024-00754-1

@article{f066e1480b4b469787700a98cfbd9722,

title = "The Reactive Synthesis Competition (SYNTCOMP): 2018–2021",

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 = "Algorithmic verification, Reactive synthesis, Zero-sum games",

author = "Swen Jacobs and P{\'e}rez, {Guillermo A.} and Remco Abraham and V{\'e}ronique Bruy{\`e}re and Micha{\"e}l Cadilhac and Maximilien Colange and Charly Delfosse and {van Dijk}, Tom 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 Ga{\"e}tan Staquet and Cl{\'e}ment Tamines and Leander Tentrup and Adam Walker",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2024.",

year = "2024",

month = oct,

doi = "10.1007/s10009-024-00754-1",

language = "English",

volume = "26",

pages = "551--567",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

number = "5",

}

Jacobs, S, Pérez, GA, Abraham, R, Bruyère, V, Cadilhac, M, Colange, M, Delfosse, C, van Dijk, T, Duret-Lutz, A, Faymonville, P, Finkbeiner, B, Khalimov, A, Klein, F, Luttenberger, M, Meyer, K, Michaud, T, Pommellet, A, Renkin, F, Schlehuber-Caissier, P, Sakr, M, Sickert, S, Staquet, G, Tamines, C, Tentrup, L & Walker, A 2024, 'The Reactive Synthesis Competition (SYNTCOMP): 2018–2021', International Journal on Software Tools for Technology Transfer, Jg. 26, Nr. 5, S. 551-567. https://doi.org/10.1007/s10009-024-00754-1

TY - JOUR

T1 - The Reactive Synthesis Competition (SYNTCOMP)

T2 - 2018–2021

AU - Jacobs, Swen

AU - Pérez, Guillermo A.

AU - Abraham, Remco

AU - Bruyère, Véronique

AU - Cadilhac, Michaël

AU - Colange, Maximilien

AU - Delfosse, Charly

AU - van Dijk, Tom

AU - Duret-Lutz, Alexandre

AU - Faymonville, Peter

AU - Finkbeiner, Bernd

AU - Khalimov, Ayrat

AU - Klein, Felix

AU - Luttenberger, Michael

AU - Meyer, Klara

AU - Michaud, Thibaud

AU - Pommellet, Adrien

AU - Renkin, Florian

AU - Schlehuber-Caissier, Philipp

AU - Sakr, Mouhammad

AU - Sickert, Salomon

AU - Staquet, Gaëtan

AU - Tamines, Clément

AU - Tentrup, Leander

AU - Walker, Adam

N1 - Publisher Copyright: © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2024.

PY - 2024/10

Y1 - 2024/10

N2 - 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.

AB - 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.

KW - Algorithmic verification

KW - Reactive synthesis

KW - Zero-sum games

UR - http://www.scopus.com/inward/record.url?scp=85195653350&partnerID=8YFLogxK

U2 - 10.1007/s10009-024-00754-1

DO - 10.1007/s10009-024-00754-1

M3 - Article

AN - SCOPUS:85195653350

SN - 1433-2779

VL - 26

SP - 551

EP - 567

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 5

ER -

The Reactive Synthesis Competition (SYNTCOMP): 2018–2021

Abstract

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren