TY  - RPRT
TI  - The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
AU  - Swen Jacobs
AU  - Guillermo A. Perez
AU  - Remco Abraham
AU  - Veronique Bruyere
AU  - Michael Cadilhac
AU  - Maximilien Colange
AU  - Charly Delfosse
AU  - Tom van Dijk
AU  - Alexandre Duret-Lutz
AU  - Peter Faymonville
AU  - Bernd Finkbeiner
AU  - Ayrat Khalimov
AU  - Felix Klein
AU  - Michael Luttenberger
AU  - Klara Meyer
AU  - Thibaud Michaud
AU  - Adrien Pommellet
AU  - Florian Renkin
AU  - Philipp Schlehuber-Caissier
AU  - Mouhammad Sakr
AU  - Salomon Sickert
AU  - Gaetan Staquet
AU  - Clement Tamines
AU  - Leander Tentrup
AU  - Adam Walker
PY  - 2024
UR  - https://arxiv.org/abs/2206.00251
ID  - 2206.00251
ER  -