The Second Reactive Synthesis Competition (SYNTCOMP 2015)
We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). We describe our extended benchmark library, with 6 completely new sets of benchmarks, and additional challenging instances for 4 of the benchmark sets that were already used in SYNTCOMP 2014. To enhance...
| Main Authors: | , , , , , , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2016-02-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1602.01171v1 |
| _version_ | 1818485081031835648 |
|---|---|
| author | Swen Jacobs Roderick Bloem Romain Brenguier Robert Könighofer Guillermo A. Pérez Jean-François Raskin Leonid Ryzhyk Ocan Sankur Martina Seidl Leander Tentrup Adam Walker |
| author_facet | Swen Jacobs Roderick Bloem Romain Brenguier Robert Könighofer Guillermo A. Pérez Jean-François Raskin Leonid Ryzhyk Ocan Sankur Martina Seidl Leander Tentrup Adam Walker |
| author_sort | Swen Jacobs |
| collection | DOAJ |
| description | We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). We describe our extended benchmark library, with 6 completely new sets of benchmarks, and additional challenging instances for 4 of the benchmark sets that were already used in SYNTCOMP 2014. To enhance the analysis of experimental results, we introduce an extension of our benchmark format with meta-information, including a difficulty rating and a reference size for solutions. Tools are evaluated on a set of 250 benchmarks, selected to provide a good coverage of benchmarks from all classes and difficulties. We report on changes of the evaluation scheme and the experimental setup. Finally, we describe the entrants into SYNTCOMP 2015, as well as the results of our experimental evaluation. In our analysis, we emphasize progress over the tools that participated last year. |
| first_indexed | 2024-12-10T16:03:17Z |
| format | Article |
| id | doaj.art-a9c45a590c8c4abeb527d9ec981ba822 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-10T16:03:17Z |
| publishDate | 2016-02-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-a9c45a590c8c4abeb527d9ec981ba8222022-12-22T01:42:20ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-02-01202Proc. SYNT 2015275710.4204/EPTCS.202.4:11The Second Reactive Synthesis Competition (SYNTCOMP 2015)Swen Jacobs0Roderick Bloem1Romain Brenguier2Robert Könighofer3Guillermo A. Pérez4Jean-François Raskin5Leonid Ryzhyk6Ocan Sankur7Martina Seidl8Leander Tentrup9Adam Walker10 Saarland University, Saarbrücken, Germany Graz University of Technology, Austria Université Libre de Bruxelles, Brussels, Belgium Graz University of Technology, Austria Université Libre de Bruxelles, Brussels, Belgium Université Libre de Bruxelles, Brussels, Belgium NICTA, Sydney, Australia and Carnegie Mellon University, Pittsburgh, USA Université Libre de Bruxelles, Brussels, Belgium Johannes-Kepler-University, Linz, Austria Saarland University, Saarbrücken, Germany NICTA, Sydney, Australia We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). We describe our extended benchmark library, with 6 completely new sets of benchmarks, and additional challenging instances for 4 of the benchmark sets that were already used in SYNTCOMP 2014. To enhance the analysis of experimental results, we introduce an extension of our benchmark format with meta-information, including a difficulty rating and a reference size for solutions. Tools are evaluated on a set of 250 benchmarks, selected to provide a good coverage of benchmarks from all classes and difficulties. We report on changes of the evaluation scheme and the experimental setup. Finally, we describe the entrants into SYNTCOMP 2015, as well as the results of our experimental evaluation. In our analysis, we emphasize progress over the tools that participated last year.http://arxiv.org/pdf/1602.01171v1 |
| spellingShingle | Swen Jacobs Roderick Bloem Romain Brenguier Robert Könighofer Guillermo A. Pérez Jean-François Raskin Leonid Ryzhyk Ocan Sankur Martina Seidl Leander Tentrup Adam Walker The Second Reactive Synthesis Competition (SYNTCOMP 2015) Electronic Proceedings in Theoretical Computer Science |
| title | The Second Reactive Synthesis Competition (SYNTCOMP 2015) |
| title_full | The Second Reactive Synthesis Competition (SYNTCOMP 2015) |
| title_fullStr | The Second Reactive Synthesis Competition (SYNTCOMP 2015) |
| title_full_unstemmed | The Second Reactive Synthesis Competition (SYNTCOMP 2015) |
| title_short | The Second Reactive Synthesis Competition (SYNTCOMP 2015) |
| title_sort | second reactive synthesis competition syntcomp 2015 |
| url | http://arxiv.org/pdf/1602.01171v1 |
| work_keys_str_mv | AT swenjacobs thesecondreactivesynthesiscompetitionsyntcomp2015 AT roderickbloem thesecondreactivesynthesiscompetitionsyntcomp2015 AT romainbrenguier thesecondreactivesynthesiscompetitionsyntcomp2015 AT robertkonighofer thesecondreactivesynthesiscompetitionsyntcomp2015 AT guillermoaperez thesecondreactivesynthesiscompetitionsyntcomp2015 AT jeanfrancoisraskin thesecondreactivesynthesiscompetitionsyntcomp2015 AT leonidryzhyk thesecondreactivesynthesiscompetitionsyntcomp2015 AT ocansankur thesecondreactivesynthesiscompetitionsyntcomp2015 AT martinaseidl thesecondreactivesynthesiscompetitionsyntcomp2015 AT leandertentrup thesecondreactivesynthesiscompetitionsyntcomp2015 AT adamwalker thesecondreactivesynthesiscompetitionsyntcomp2015 AT swenjacobs secondreactivesynthesiscompetitionsyntcomp2015 AT roderickbloem secondreactivesynthesiscompetitionsyntcomp2015 AT romainbrenguier secondreactivesynthesiscompetitionsyntcomp2015 AT robertkonighofer secondreactivesynthesiscompetitionsyntcomp2015 AT guillermoaperez secondreactivesynthesiscompetitionsyntcomp2015 AT jeanfrancoisraskin secondreactivesynthesiscompetitionsyntcomp2015 AT leonidryzhyk secondreactivesynthesiscompetitionsyntcomp2015 AT ocansankur secondreactivesynthesiscompetitionsyntcomp2015 AT martinaseidl secondreactivesynthesiscompetitionsyntcomp2015 AT leandertentrup secondreactivesynthesiscompetitionsyntcomp2015 AT adamwalker secondreactivesynthesiscompetitionsyntcomp2015 |