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

doi:10.48550/arXiv.2206.00251

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

Research output: Working paper › Preprint › Academic

59 Downloads (Pure)

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.

Original language	English
DOIs	https://doi.org/10.48550/arXiv.2206.00251
Publication status	Published - 1 Jun 2022

Keywords

cs.LO

Access to Document

10.48550/arXiv.2206.00251Licence: CC BY

2206.00251v1Final published version, 772 KB

The Reactive Synthesis Competition (SYNTCOMP): 2018–2021
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. & Sakr, M. & 5 others, Sickert, S., Staquet, G., Tamines, C., Tentrup, L. & Walker, A., Oct 2024, In: International journal on software tools for technology transfer. 26, 5, p. 551-567 17 p.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File

1 Link opens in a new tab Citation (Scopus)

48 Downloads (Pure)

Cite this

Jacobs, S., Perez, G. A., Abraham, R., Bruyere, V., Cadilhac, M., Colange, M., Delfosse, C., Dijk, T. V., 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. (2022). The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. https://doi.org/10.48550/arXiv.2206.00251

@techreport{0860b937418b478eba81dad9ceb1ec44,

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 of solutions. ",

keywords = "cs.LO",

author = "Swen Jacobs and Perez, \{Guillermo A.\} and Remco Abraham and Veronique Bruyere and Michael Cadilhac and Maximilien Colange and Charly Delfosse and Dijk, \{Tom van\} 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",

year = "2022",

month = jun,

day = "1",

doi = "10.48550/arXiv.2206.00251",

language = "English",

type = "WorkingPaper",

}

Jacobs, S, Perez, GA, Abraham, R, Bruyere, V, Cadilhac, M, Colange, M, Delfosse, C, Dijk, TV, 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 2022 'The Reactive Synthesis Competition (SYNTCOMP): 2018-2021'. https://doi.org/10.48550/arXiv.2206.00251

TY - UNPB

T1 - The Reactive Synthesis Competition (SYNTCOMP)

T2 - 2018-2021

AU - Jacobs, Swen

AU - Perez, Guillermo A.

AU - Abraham, Remco

AU - Bruyere, Veronique

AU - Cadilhac, Michael

AU - Colange, Maximilien

AU - Delfosse, Charly

AU - Dijk, Tom van

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, Gaetan

AU - Tamines, Clement

AU - Tentrup, Leander

AU - Walker, Adam

PY - 2022/6/1

Y1 - 2022/6/1

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 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 of solutions.

KW - cs.LO

U2 - 10.48550/arXiv.2206.00251

DO - 10.48550/arXiv.2206.00251

M3 - Preprint

BT - The Reactive Synthesis Competition (SYNTCOMP)

ER -

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

Abstract

Keywords

Access to Document

Fingerprint

Research output

The Reactive Synthesis Competition (SYNTCOMP): 2018–2021

Cite this