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