@misc{indiciaea3057640647a,
  title = {The Reactive Synthesis Competition (SYNTCOMP): 2018-2021},
  author = {Swen Jacobs and Guillermo A. Perez and Remco Abraham and Veronique Bruyere and Michael Cadilhac and Maximilien Colange and Charly Delfosse and Tom van Dijk 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 = {2024},
  url = {https://arxiv.org/abs/2206.00251},
  note = {Source identifier: 2206.00251}
}