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

Full description

Bibliographic Details
Main Authors:	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
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

id	doaj-0a5e0070b565485da8511bb0df92db2f
record_format	Article
spelling	doaj-0a5e0070b565485da8511bb0df92db2f2020-11-25T02:32:45ZengOpen 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
collection	DOAJ
language	English
format	Article
sources	DOAJ
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
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
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
title	The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
title_short	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_sort	4th reactive synthesis competition (syntcomp 2017): benchmarks, participants & results
publisher	Open Publishing Association
series	Electronic Proceedings in Theoretical Computer Science
issn	2075-2180
publishDate	2017-11-01
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.
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
_version_	1724817965452361728

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

Similar Items