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 条

[21] RESULTS OF THE 4TH ASSOCIAZIONE-CLAVICEMBALISTICA-BOLOGNESE COMPETITION, OCTOBER 7-10, 1991
不详
NUOVA RIVISTA MUSICALE ITALIANA, 1992, 26 (01): : 156 - 156
[22] Report on the 4th annual natural supplements research competition
Bonakdar, Robert Alan
JOURNAL OF ALTERNATIVE AND COMPLEMENTARY MEDICINE, 2007, 13 (06) : 683 - 684
[23] 3RD AND 4TH PACKING COMPETITION OF GDR
STEPHANI, R
TAUBER, C
LEBENSMITTELINDUSTRIE, 1988, 35 (05): : 196 - 196
[24] 4TH ANNUAL NATIONAL STEEL BRIDGE BUILDING COMPETITION
不详
MATERIALS PERFORMANCE, 1995, 34 (10) : 18 - 18
[25] HARPSICHORD WINNERS + THE 4TH INTERNATIONAL HARPSICHORD-COMPETITION
不详
CLAVIER, 1996, 35 (05): : 31 - 31
[26] 4th International Indoor Positioning and Indoor Navigation Competition
Potorti, Francesco
Crivello, Antonino
Palumbo, Filippo
ERCIM NEWS, 2018, (112): : 46 - 46
[27] THE SPIRIT OF JACKSON + MISSISSIPPI 4TH INTERNATIONAL BALLET COMPETITION
GREGORY, J
DANCING TIMES, 1990, 80 (960): : 1166 - 1167
[28] COMPETITION TRENDS + 4TH USA-INTERNATIONAL-BALLET-COMPETITION JACKSON, MISSISSIPPI
FINKELSTEIN, R
DANCE MAGAZINE, 1990, 64 (11): : 32 - 32
[29] CASC-J4 - The 4th IJCAR ATP system competition
Sutcliffe, Geoff
AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 457 - 458
[30] Audit Of CT Brains Carried Out Due To Head Trauma In Portiuncula University Hospital September 4th 2017-October 4th 2017
Curtis, L.
Govender, K.
IRISH JOURNAL OF MEDICAL SCIENCE, 2018, 187 : S59 - S59

← 1 2 3 4 5 →