The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe the benchmark selection, evaluation scheme and the experimental setup of SYNTCOMP 2017. We present the participants of SYN...
| Main Authors: | , , , , , , , , , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2017-11-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1711.11439v1 |
| _version_ | 1818066967476568064 |
|---|---|
| author | Swen Jacobs Nicolas Basset Roderick Bloem Romain Brenguier Maximilien Colange Peter Faymonville Bernd Finkbeiner Ayrat Khalimov Felix Klein Thibaud Michaud Guillermo A. Pérez Jean-François Raskin Ocan Sankur Leander Tentrup |
| author_facet | Swen Jacobs Nicolas Basset Roderick Bloem Romain Brenguier Maximilien Colange Peter Faymonville Bernd Finkbeiner Ayrat Khalimov Felix Klein Thibaud Michaud Guillermo A. Pérez Jean-François Raskin Ocan Sankur Leander Tentrup |
| author_sort | Swen Jacobs |
| collection | DOAJ |
| description | We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe the benchmark selection, evaluation scheme and the experimental setup of SYNTCOMP 2017. We present the participants of SYNTCOMP 2017, with a focus on changes with respect to the previous years and on the two completely new tools that have entered the competition. Finally, we present and analyze the results of our experimental evaluation, including a ranking of tools with respect to quantity and quality of solutions. |
| first_indexed | 2024-12-10T15:16:12Z |
| format | Article |
| id | doaj.art-0a5e0070b565485da8511bb0df92db2f |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-10T15:16:12Z |
| publishDate | 2017-11-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-0a5e0070b565485da8511bb0df92db2f2022-12-22T01:43:47ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-11-01260Proc. SYNT 201711614310.4204/EPTCS.260.10:8The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & ResultsSwen Jacobs0Nicolas Basset1Roderick Bloem2Romain Brenguier3Maximilien Colange4Peter Faymonville5Bernd Finkbeiner6Ayrat Khalimov7Felix Klein8Thibaud Michaud9Guillermo A. Pérez10Jean-François Raskin11Ocan Sankur12Leander Tentrup13 Saarland University Université Libre de Bruxelles Graz University of Technology University of Oxford LRDE, EPITA Saarland University Saarland University Graz University of Technology Saarland University LRDE, EPITA Université Libre de Bruxelles Université Libre de Bruxelles CNRS, Irisa Saarland University We report on the fourth reactive synthesis competition (SYNTCOMP 2017). We introduce two new benchmark classes that have been added to the SYNTCOMP library, and briefly describe the benchmark selection, evaluation scheme and the experimental setup of SYNTCOMP 2017. We present the participants of SYNTCOMP 2017, with a focus on changes with respect to the previous years and on the two completely new tools that have entered the competition. Finally, we present and analyze the results of our experimental evaluation, including a ranking of tools with respect to quantity and quality of solutions.http://arxiv.org/pdf/1711.11439v1 |
| spellingShingle | Swen Jacobs Nicolas Basset Roderick Bloem Romain Brenguier Maximilien Colange Peter Faymonville Bernd Finkbeiner Ayrat Khalimov Felix Klein Thibaud Michaud Guillermo A. Pérez Jean-François Raskin Ocan Sankur Leander Tentrup The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results Electronic Proceedings in Theoretical Computer Science |
| title | The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results |
| title_full | The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results |
| title_fullStr | The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results |
| title_full_unstemmed | The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results |
| title_short | The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results |
| title_sort | 4th reactive synthesis competition syntcomp 2017 benchmarks participants results |
| url | http://arxiv.org/pdf/1711.11439v1 |
| work_keys_str_mv | AT swenjacobs the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT nicolasbasset the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT roderickbloem the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT romainbrenguier the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT maximiliencolange the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT peterfaymonville the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT berndfinkbeiner the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT ayratkhalimov the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT felixklein the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT thibaudmichaud the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT guillermoaperez the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT jeanfrancoisraskin the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT ocansankur the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT leandertentrup the4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT swenjacobs 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT nicolasbasset 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT roderickbloem 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT romainbrenguier 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT maximiliencolange 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT peterfaymonville 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT berndfinkbeiner 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT ayratkhalimov 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT felixklein 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT thibaudmichaud 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT guillermoaperez 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT jeanfrancoisraskin 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT ocansankur 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults AT leandertentrup 4threactivesynthesiscompetitionsyntcomp2017benchmarksparticipantsresults |