The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results
复制标题
第三届反应合成竞赛（SYNTCOMP 2016）：基准、参与者
DOI：
10.4204/eptcs.229.12
复制
发表时间：
2016
影响因子：
7.7
通讯作者：
Adam Walker
中科院分区：
文献类型：
--
作者：
Swen Jacobs;R. Bloem;Romain Brenguier;A. Khalimov;F. Klein;Robert Könighofer;J. Kreber;Alexander Legg;Nina Narodytska;G. Pérez;Jean;L. Ryzhyk;O. Sankur;M. Seidl;Leander Tentrup;Adam Walker
我们报告了第三届反应合成竞赛（SYNTCOMP 2016）的基准，参与者和结果。SYNTCOMP 2016的基准库已扩展到新的基于LTL的时序逻辑综合格式（TLSF）的基准，以及现有的基于AIGER的安全规范格式的2套新基准。SYNTCOMP 2016的参与者可以根据这两类规范来区分，我们概述了参加基于AIGER的赛道比赛的6个工具，以及参加基于TLSF的赛道的3个参与者。我们简要介绍了基准选择，评估方案和SYNTCOMP 2016的实验设置。最后，我们提出并分析了我们的实验评估的结果，包括比较以前的比赛和传统的工具的参与者。
We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchmarks in the new LTL-based temporal logic synthesis format (TLSF), and 2 new sets of benchmarks for the existing AIGER-based format for safety specifications. The participants of SYNTCOMP 2016 can be separated according to these two classes of specifications, and we give an overview of the 6 tools that entered the competition in the AIGER-based track, and the 3 participants that entered the TLSF-based track. We briefly describe the benchmark selection, evaluation scheme and the experimental setup of SYNTCOMP 2016. Finally, we present and analyze the results of our experimental evaluation, including a comparison to participants of previous competitions and a legacy tool.