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

被引：25

作者：

Jacobs, Swen ^{[1
]}

Basset, Nicolas ^{[2
]}

Bloem, Roderick ^{[3
]}

Brenguier, Romain ^{[4
]}

Colange, Maximilien ^{[5
]}

Faymonville, Peter ^{[1
]}

Finkbeiner, Bernd ^{[1
]}

Khalimov, Ayrat ^{[3
]}

Klein, Felix ^{[1
]}

Michaud, Thibaud ^{[5
]}

Perez, Guillermo A. ^{[2
]}

Raskin, Jean-Francois ^{[2
]}

Sankur, Ocan ^{[6
]}

Tentrup, Leander ^{[1
]}

机构：

[1] Saarland Univ, Saarbrucken, Germany

[2] Univ Libre Bruxelles, Brussels, Belgium

[3] Graz Univ Technol, Graz, Austria

[4] Univ Oxford, Oxford, England

[5] EPITA, LRDE, Le Kremlin Bicetre, France

[6] Irisa, CNRS, Rennes, France

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2017年 / 260期

基金：

欧洲研究理事会; 奥地利科学基金会;

关键词：

ALGORITHM; AUTOMATA;

D O I：

10.4204/EPTCS.260.10

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：116 / 143

页数：28

共 50 条

[1] The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
Jacobs, Swen
Bloem, Roderick
Brenguier, Romain
Khalimov, Ayrat
Klein, Felix
Koenighofer, Robert
Kreber, Jens
Legg, Alexander
Narodytska, Nina
Perez, Guillermo A.
Raskin, Jean-Francois
Ryzhyk, Leonid
Sankur, Ocan
Seidl, Martina
Tentrup, Leander
Walker, Adam
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (229): : 149 - 177
[2] The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results
Jacobs, Swen
Bloem, Roderick
Brenguier, Romain
Khalimov, Ayrat
Klein, Felix
Könighofer, Robert
Kreber, Jens
Legg, Alexander
Narodytska, Nina
Pérez, Guillermo A.
Raskin, Jean-François
Ryzhyk, Leonid
Sankur, Ocan
Seidl, Martina
Tentrup, Leander
Walker, Adam
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2016, 229 : 149 - 177
[3] The first reactive synthesis competition (SYNTCOMP 2014)
Jacobs, Swen
Bloem, Roderick
Brenguier, Romain
Ehlers, Ruediger
Hell, Timotheus
Koenighofer, Robert
Perez, Guillermo A.
Raskin, Jean-Francois
Ryzhyk, Leonid
Sankur, Ocan
Seidl, Martina
Tentrup, Leander
Walker, Adam
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (03) : 367 - 390
[4] The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond
Jacobs, Swen
Bloem, Roderick
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (229): : 133 - 148
[5] The Second Reactive Synthesis Competition (SYNTCOMP 2015)
Jacobs, Swen
Bloem, Roderick
Brenguier, Romain
Koenighofer, Robert
Perez, Guillermo A.
Raskin, Jean-Francois
Ryzhyk, Leonid
Sankur, Ocan
Seidl, Martina
Tentrup, Leander
Walker, Adam
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (202): : 27 - 57
[6] The first reactive synthesis competition (SYNTCOMP 2014)
Swen Jacobs
Roderick Bloem
Romain Brenguier
Rüdiger Ehlers
Timotheus Hell
Robert Könighofer
Guillermo A. Pérez
Jean-François Raskin
Leonid Ryzhyk
Ocan Sankur
Martina Seidl
Leander Tentrup
Adam Walker
International Journal on Software Tools for Technology Transfer, 2017, 19 : 367 - 390
[7] The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Jacobs, Swen
Perez, Guillermo A.
Abraham, Remco
Bruyere, Veronique
Cadilhac, Michael
Colange, Maximilien
Delfosse, Charly
van Dijk, Tom
Duret-Lutz, Alexandre
Faymonville, Peter
Finkbeiner, Bernd
Khalimov, Ayrat
Klein, Felix
Luttenberger, Michael
Meyer, Klara
Michaud, Thibaud
Pommellet, Adrien
Renkin, Florian
Schlehuber-Caissier, Philipp
Sakr, Mouhammad
Sickert, Salomon
Staquet, Gaetan
Tamines, Clement
Tentrup, Leander
Walker, Adam
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2024, : 551 - 567
[8] 4TH CZECHOSLOVAK DANCE COMPETITION
PASEKOVA, D
BALLETT INTERNATIONAL, 1982, 5 (03): : 28 - 31
[9] 4TH NEW MUSIC COMPETITION AT SALZBURG
COSSE, P
OSTERREICHISCHE MUSIK ZEITSCHRIFT, 1982, 37 (06): : 328 - 328
[10] 4TH CHOREOGRAPHIC COMPETITION IN HANNOVER, 1990
KIRCHNER, B
BALLETT INTERNATIONAL, 1990, 13 (08): : 39 - 39

← 1 2 3 4 5 →