• Citer

Reactive Synthesis Without Regret

par Hunter, Paul William ;Perez, Guillermo A. ;Raskin, Jean-François
Référence 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 42, page (114-127)
Publication Publié, 2015

Publication dans des actes

• Détails

Titre:	Reactive Synthesis Without Regret
Auteur:	Hunter, Paul William; Perez, Guillermo A.; Raskin, Jean-François
Informations sur la publication:	26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 42, page (114-127)
Statut de publication:	Publié, 2015
series:	LIPIcs
Sujet CREF:	Sciences exactes et naturelles
Langue:	Anglais
Identificateurs:	info:doi/10.4230/LIPIcs.CONCUR.2015.114
	https://doi.org/10.4230/LIPIcs.CONCUR.2015.114