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 J. Meyer Thibaud Michaud Adrien Pommellet Florian Renkin Philipp Schlehuber-Caissier Mouhammad Sakr Salomon Sickert Gaëtan Staquet Clément Tamines Leander Tentrup Adam Walker

Published in: CoRR (2022)

Keyphrases

international competition
agent architecture
program synthesis
reactive planning
case study
computer vision
e learning
reinforcement learning
evolutionary algorithm
competitive market