Title | ||
---|---|---|
The 3rd Reactive Synthesis Competition (Syntcomp 2016): Benchmarks, Participants & Results |
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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.4204/EPTCS.229.12 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
DocType | Volume | Issue |
Journal | abs/1609.00507 | 229 |
ISSN | Citations | PageRank |
2075-2180 | 2 | 0.38 |
References | Authors | |
30 | 16 |
Name | Order | Citations | PageRank |
---|---|---|---|
Swen Jacobs | 1 | 208 | 17.43 |
Roderick Bloem | 2 | 1708 | 101.26 |
Romain Brenguier | 3 | 111 | 10.77 |
Ayrat Khalimov | 4 | 43 | 4.88 |
Felix Klein | 5 | 115 | 11.32 |
Robert Könighofer | 6 | 55 | 4.60 |
Jens Kreber | 7 | 2 | 0.38 |
Alexander Legg | 8 | 24 | 3.17 |
Nina Narodytska | 9 | 449 | 39.28 |
Guillermo A. Pérez | 10 | 24 | 3.52 |
Jean-François Raskin | 11 | 1735 | 100.15 |
Leonid Ryzhyk | 12 | 212 | 16.05 |
Ocan Sankur | 13 | 105 | 14.76 |
Martina Seidl | 14 | 685 | 51.78 |
Leander Tentrup | 15 | 91 | 12.03 |
Adam Walker | 16 | 28 | 2.90 |