| Title |
|
|
|
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016) : benchmarks, participants & results
| |
| Author |
|
|
|
| |
| Abstract |
|
|
|
| We report on the benchmarks, participants and results of the third reactive synthesis competition (SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchmarks in the new LTL-based temporal logic synthesis format (TLSF), and 2 new sets of benchmarks for the existing AIGER-based format for safety specifications. The participants of SYNTCOMP 2016 can be separated according to these two classes of specifications, and we give an overview of the 6 tools that entered the competition in the AIGER-based track, and the 3 participants that entered the TLSF-based track. We briefly describe the benchmark selection, evaluation scheme and the experimental setup of SYNTCOMP 2016. Finally, we present and analyze the results of our experimental evaluation, including a comparison to participants of previous competitions and a legacy tool. |
| |
| Language |
|
|
|
English
| |
| Source (journal) |
|
|
|
Electronic Proceedings in Theoretical Computer Science | |
| Source (book) |
|
|
|
Fifth Workshop on Synthesis (SYNT 2016), July 17-18, 2016, Toronto, Canada | |
| Publication |
|
|
|
2016
| |
| ISSN |
|
|
|
2075-2180
| |
| Volume/pages |
|
|
|
229(2016), p. 149-177
| |
| ISI |
|
|
|
000390330900013
| |
| Full text (Publisher's DOI) |
|
|
| | |
| Full text (open access) |
|
|
| | |
|