Publication
Title
Reactive synthesis without regret
Author
Hunter, Paul
Pérez, Guillermo A.
Raskin, Jean-François
Abstract
Click here for abstract or brief contents
Language
English
Source (journal)
LIPIcs : Leibniz International Proceedings in Informatics. - Place of publication unknown
Source (book)
26th International Conference on Concurrency Theory (CONCUR 2015), September 1-4, 2015, Madrid, Spain / Aceto, Luca [edit.]; et al.
Publication
Germany
:
Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik
,
2015
ISBN
978-3-939897-91-0
Volume/pages
42 (2015) , p. 114-127
Full text (Publisher's DOI)
https://doi.org/10.4230/LIPICS.CONCUR.2015.114
Full text (open access)
https://repository.uantwerpen.be/docman/irua/4f86ec/154995.pdf
UAntwerpen
Publication type
P1 Proceeding
Subject
Computer. Automation
External links
Record
Identifier
Creation
19.11.2018
Last edited
22.08.2023
To cite this reference
https://hdl.handle.net/10067/1549950151162165141