Publication
Title
Reactive synthesis without regret
Author
Hunter, Paul
Pérez, Guillermo A.
Raskin, Jean-Francois
Abstract
Language
English
Source (journal)
Acta informatica. - Berlin
Source (book)
26th International Conference on Concurrency Theory (CONCUR), SEP 01-04, 2015, Univ Complutense Madrid, Fac Matematicas, Univ Complutense Madrid, Fac Matematicas, Madrid, SPAIN
Publication
New york
:
Springer
,
2017
ISSN
0001-5903
Volume/pages
54:1(2017), p. 3-39
ISI
000394152600002
Full text (Publisher's DOI)
https://doi.org/10.1007/S00236-016-0268-Z
Full text (publisher's version - intranet only)
https://repository.uantwerpen.be/docman/iruaauth/ebc917/154946.pdf
UAntwerpen
Publication type
A1 Journal article
Subject
Computer. Automation
External links
Web of Science
View record in Web of Science®
View Related Records® in Web of Science®
Record
Identification
Creation
16.11.2018
Last edited
30.10.2020