The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
复制标题
第四届反应合成竞赛（SYNTCOMP 2017）：基准、参与者
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Leander Tentrup
中科院分区：
文献类型：
--
作者：
Swen Jacobs;Nicolas Basset;R. Bloem;Romain Brenguier;Maximilien Colange;Peter Faymonville;B. Finkbeiner;A. Khalimov;F. Klein;Thibaud Michaud;G. Pérez;Jean;O. Sankur;Leander Tentrup
我们报告第四个反应性合成竞赛（Syntcomp 2017）。我们介绍了已添加到SyntComp库中的两个新的基准类别，并简要描述了Syntcomp 2017的基准选择，评估方案和实验设置。我们介绍了Syntcomp 2017的参与者，重点是对先前的更改多年来以及已经进入比赛的两个全新工具。最后，我们介绍和分析实验评估的结果，包括对解决方案数量和质量的工具的排名。
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.