• Citer

The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results

par Jacobs, Swen;Michaud, Thibaud;Perez, Guillermo A. ;Raskin, Jean-François ;Sankur, Ocan ;Tentrup, Leander;Basset, Nicolas ;Bloem, Roderick;Brenguier, Romain ;Colange, Maximilien;Faymonville, Peter;Finkbeiner, Bernd;Khalimov, Ayrat;Klein, Felix
Référence Electronic proceedings in theoretical computer science, 260, page (116-143)
Publication Publié, 2017-11

Article révisé par les pairs

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

Titre:	The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results
Auteur:	Jacobs, Swen; Michaud, Thibaud; Perez, Guillermo A.; Raskin, Jean-François; Sankur, Ocan; Tentrup, Leander; Basset, Nicolas; Bloem, Roderick; Brenguier, Romain; Colange, Maximilien; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix
Informations sur la publication:	Electronic proceedings in theoretical computer science, 260, page (116-143)
Statut de publication:	Publié, 2017-11
Sujet CREF:	Généralités
Note générale:	SCOPUS: cp.p
Langue:	Anglais
Identificateurs:	urn:issn:2075-2180
	info:doi/10.4204/EPTCS.260.10
	info:scp/85045568866