Publication
Title
Compositional algorithms for succinct safety games
Author
Abstract
Language
English
Source (journal)
Electronic Proceedings in Theoretical Computer Science
Source (book)
4th Workshop on Synthesis, SYNT 2015, 18th July 2015, San Francisco, CA, USA
Publication
2016
ISSN
2075-2180
Volume/pages
202(2016), p. 98-111
ISI
000390259500008
Full text (Publisher's DOI)
Full text (open access)
UAntwerpen
Publication type
Subject
External links
Web of Science
Record
Identification
Creation 16.11.2018
Last edited 20.11.2018