• Citer

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants AND Results

par Jacobs, Swen;Bloem, Roderick;Brenguier, Romain ;Khalimov, Ayrat;Klein, Felix;K"onighofer, Robert;Kreber, Jens;Legg, Alexander;Narodytska, Nina;Pérez, Guillermo G.A.;Raskin, Jean-François ;Ryzhyk, Leonid;Sankur, Ocan ;Seidl, Martina;Tentrup, Leander;Walker, Adam
Référence Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., Vol. 229, page (149-177)
Publication Publié, 2016

Publication dans des actes

• Accès en ligne
• Détails
• Statistiques

Titre:	The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants AND Results
Auteur:	Jacobs, Swen; Bloem, Roderick; Brenguier, Romain; Khalimov, Ayrat; Klein, Felix; K"onighofer, Robert; Kreber, Jens; Legg, Alexander; Narodytska, Nina; Pérez, Guillermo G.A.; Raskin, Jean-François; Ryzhyk, Leonid; Sankur, Ocan; Seidl, Martina; Tentrup, Leander; Walker, Adam
Informations sur la publication:	Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016., Vol. 229, page (149-177)
Statut de publication:	Publié, 2016
series:	EPTCS
Sujet CREF:	Sciences exactes et naturelles
Langue:	Anglais
Identificateurs:	info:doi/10.4204/EPTCS.229.12
	https://doi.org/10.4204/EPTCS.229.12