| 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) |
|
|
| | |
|