Reactive synthesis without regret

Publication

Title

Author

Abstract

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)

Full text (open access)

UAntwerpen

External links

Record