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 条

[31] Main results of the 4th International PIV Challenge
Christian J. Kähler
Tommaso Astarita
Pavlos P. Vlachos
Jun Sakakibara
Rainer Hain
Stefano Discetti
Roderick La Foy
Christian Cierpka
Experiments in Fluids, 2016, 57
[32] TID Test Results for 4th Generation iPad™
Guertin, S. M.
Allen, G. R.
McClure, S. S.
LaBel, K. A.
2013 IEEE RADIATION EFFECTS DATA WORKSHOP (REDW), 2013,
[33] Results of the 4th Movement Therapy Conference 2023
Streber, Rene
Bestmann, Anja
Brueggemann, Silke
Goehner, Wiebke
Heimsoth, Joerg
Kinkel, Stephan
Peters, Stefan
Pfeifer, Klaus
Reusch, Andrea
Schaller, Andrea
Sudeck, Gorden
Geidl, Wolfgang
BEWEGUNGSTHERAPIE UND GESUNDHEITSSPORT, 2023, 39 (06): : 289 - 298
[34] COMPANIONS OF VILLEHARDOUIN - RESEARCH ON THE PARTICIPANTS OF THE 4TH CRUSADE - FRENCH - LONGNON,J
ROUSSET, P
SCHWEIZERISCHE ZEITSCHRIFT FUR GESCHICHTE, 1978, 28 (04): : 604 - 604
[35] Main results of the 4th International PIV Challenge
Kaehler, Christian J.
Astarita, Tommaso
Vlachos, Pavlos P.
Sakakibara, Jun
Hain, Rainer
Discetti, Stefano
La Foy, Roderick
Cierpka, Christian
EXPERIMENTS IN FLUIDS, 2016, 57 (06)
[36] The 4th Paediatric WP Meeting: Results and consequences
Niethammer, D
BONE MARROW TRANSPLANTATION, 2002, 30 : S47 - S48
[37] 4TH NATIONAL BALLET COMPETITION FOR DANCERS AND CHOREOGRAPHERS IN KOSICE, CZECHOSLOVAKIA
KURSAWE, K
THEATER DER ZEIT, 1982, 37 (03): : 77 - 77
[38] 4TH SYMPOSIUM ON INFORMATION TECHNOLOGY IN BANKING - COMPETITION FOR INFORMATION RESEARCH
HARTMANN, C
NACHRICHTEN FUR DOKUMENTATION, 1991, 42 (01): : 48 - 49
[39] THE 4TH INTERNATIONAL COMPETITION AND EXHIBITION OF THE VIOLIN-SOCIETY-OF-AMERICA
LIIVOJA, J
STRAD, 1981, 91 (1091): : 795 - 796
[40] POLAND + THE 4TH ADAM-DIDUR-OPERATIC-SINGING-COMPETITION
KANSKI, J
OPERA, 1990, 41 (06): : 721 - 721

← 1 2 3 4 5 →