Publication
Title
The 4th Reactive Synthesis Competition (SYNTCOMP 2017) : benchmarks, participants & results
Author
Abstract
Language
English
Source (journal)
Electronic Proceedings in Theoretical Computer Science
Source (book)
Sixth Workshop on Synthesis (SYNT 2017), 22 July 2017, Heidelberg, Germany / Fisman, D. [edit.]; et al.
Publication
2017
ISSN
2075-2180
Volume/pages
260(2017), p. 116-143
ISI
000439360400011
Full text (Publisher's DOI)
Full text (open access)
UAntwerpen
Publication type
Subject
External links
Web of Science
Record
Identification
Creation 19.11.2018
Last edited 20.11.2018