Cover Image

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jacobs, Swen, Perez, Guillermo A., Abraham, Remco, Bruyere, Veronique, Cadilhac, Michael, Colange, Maximilien, Delfosse, Charly, van Dijk, Tom, Duret-Lutz, Alexandre, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Klara, Michaud, Thibaud, Pommellet, Adrien, Renkin, Florian, Schlehuber-Caissier, Philipp, Sakr, Mouhammad, Sickert, Salomon, Staquet, Gaetan, Tamines, Clement, Tentrup, Leander, Walker, Adam
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2206.00251