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, F. 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 K. Walker
Topics & Concepts
Computer scienceTheory of computationCompetition (biology)Programming languageBiologyEcologyChemical Synthesis and AnalysisSynthetic Organic Chemistry MethodsFormal Methods in Verification