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 Sakr

Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

CISPA Helmholtz Center for Information Security
University of Antwerp
University of Twente
University of Mons
EPITA
Universität des Saarlandes
Universite libre de Bruxelles
Technische Universität München
Université du Luxembourg

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	551-567
Number of pages	17
Journal	International Journal on Software Tools for Technology Transfer
Volume	26
Issue number	5
DOIs	https://doi.org/10.1007/s10009-024-00754-1
State	Published - Oct 2024

ASJC Scopus Subject Areas

Software
Information Systems

Keywords

Algorithmic verification
Reactive synthesis
Zero-sum games

Access to Document

10.1007/s10009-024-00754-1

Cite this

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

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, vol. 26, no. 5, pp. 551-567. https://doi.org/10.1007/s10009-024-00754-1

@article{8776d71f1e1d4a2f9e21d335db2cfed3,

title = "The Reactive Synthesis Competition (SYNTCOMP): 2018{\textendash}2021",

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

number = "5",

}

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

KW - Algorithmic verification

KW - Reactive synthesis

KW - Zero-sum games

UR - https://www.scopus.com/pages/publications/85195653350

UR - https://www.scopus.com/pages/publications/85195653350#tab=citedBy

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

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this