第四届反应式综合竞赛(SYNTCOMP 2017)：基准、参与者与结果
计算机科学中的逻辑
2017-12-01 v1
摘要
我们报道第四届反应式综合竞赛(SYNTCOMP 2017)。我们介绍了添加到SYNTCOMP库中的两个新基准类别，并简要描述了SYNTCOMP 2017的基准选择、评估方案和实验设置。我们介绍了SYNTCOMP 2017的参与者，重点是与往年相比的变化以及进入竞赛的两个全新工具。最后，我们展示并分析了实验评估的结果，包括按解的数量与质量对工具进行的排名。
引用
@article{arxiv.1711.11439,
title = {The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results},
author = {Swen Jacobs and Nicolas Basset and Roderick Bloem and Romain Brenguier and Maximilien Colange and Peter Faymonville and Bernd Finkbeiner and Ayrat Khalimov and Felix Klein and Thibaud Michaud and Guillermo A. Pérez and Jean-François Raskin and Ocan Sankur and Leander Tentrup},
journal= {arXiv preprint arXiv:1711.11439},
year = {2017}
}
备注
In Proceedings SYNT 2017, arXiv:1711.10224. arXiv admin note: text overlap with arXiv:1609.00507