第三届反应式合成竞赛 (SYNTCOMP 2016)：基准测试、参赛者与结果
计算机科学中的逻辑
2016-11-28 v2
摘要
我们报告了第三届反应式合成竞赛 (SYNTCOMP 2016) 的基准测试、参赛者与结果。SYNTCOMP 2016 的基准库已扩展为包含基于 LTL 的新时序逻辑合成格式 (TLSF) 的基准，以及针对现有基于 AIGER 的安全性规约格式的 2 组新基准。SYNTCOMP 2016 的参赛者可根据这两类规约进行划分，我们概述了参加基于 AIGER 赛道的 6 个工具，以及参加基于 TLSF 赛道的 3 个参赛者。我们简要描述了 SYNTCOMP 2016 的基准选择、评估方案和实验设置。最后，我们展示并分析了实验评估的结果，包括与往届竞赛参赛者及遗留工具的比较。
引用
@article{arxiv.1609.00507,
title = {The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results},
author = {Swen Jacobs and Roderick Bloem and Romain Brenguier and Ayrat Khalimov and Felix Klein and Robert Könighofer and Jens Kreber and Alexander Legg and Nina Narodytska and Guillermo A. Pérez and Jean-François Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker},
journal= {arXiv preprint arXiv:1609.00507},
year = {2016}
}
备注
In Proceedings SYNT 2016, arXiv:1611.07178