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 条

[41] 4TH JUNIOR-GINA-BACHAUER-INTERNATIONAL-PIANO-COMPETITION
不详
CLAVIER, 1996, 35 (02): : 9 - 9
[42] 4th Central and Eastern European Summit on Bone Diseases 2017
Journal für Mineralstoffwechsel & Muskuloskelettale Erkrankungen, 2018, 25 (1) : 2 - 6
[43] Unit Processes in Organic Synthesis, 4th edition
不详
LIBRARY JOURNAL, 1952, 77 (08) : 720 - 720
[44] Results of proficiency testing for 4th round dioxin determination
Ishibashi, Yo-ichi
Asada, Shozo
Igaki, Hiroyuki
Tsuruta, Satoshi
Shimura, Makoto
Ono, Akihiro
Kakita, Kazutoshi
Sahata, Mamoru
BUNSEKI KAGAKU, 2007, 56 (04) : 255 - 262
[45] INSTABILITY RESULTS FOR 4TH ORDER DIFFERENTIAL-EQUATIONS
SKRAPEK, WA
PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, 1980, 85 : 247 - 250
[46] Results of the 4th ABFO Bitemark Workshop-1999
Arheart, KL
Pretty, IA
FORENSIC SCIENCE INTERNATIONAL, 2001, 124 (2-3) : 104 - 111
[47] RESULTS OF THE BULGARIAN 4TH GRADE STUDENTS IN TIMSS 2015
Mavrodieva, Marina
STRATEGIES FOR POLICY IN SCIENCE AND EDUCATION-STRATEGII NA OBRAZOVATELNATA I NAUCHNATA POLITIKA, 2016, 24 (06): : 575 - 579
[48] 4TH MOMENT RESULTS FOR MRBP AND RELATED POWER PERFORMANCE
TRACY, DS
KHAN, KA
COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, 1991, 20 (08) : 2701 - 2718
[49] The status of 4th generation district heating: Research and results
Lund, Henrik
Ostergaard, Poul Alberg
Chang, Miguel
Werner, Sven
Svendsen, Svend
Sorknaes, Peter
Thorsen, Jan Eric
Hvelplund, Frede
Mortensen, Bent Ole Gram
Mathiesen, Brian Vad
Bojesen, Carsten
Duic, Neven
Zhang, Xiliang
Moeller, Bernd
ENERGY, 2018, 164 : 147 - 159
[50] REPORT ON THE 4TH COMPETITION OF GDR DRAMA AND MUSIC-THEATER ENSEMBLES
MEYER, M
JOHN, HR
ALBIRO, H
GORNE, D
WIEGAND, S
ARNOLD, L
MULLER, H
THEATER DER ZEIT, 1986, 41 (06): : 11 - &

← 1 2 3 4 5 →