反应式合成竞赛：SYNTCOMP 2016 及未来展望
计算机科学中的逻辑
2016-11-24 v1
摘要
我们报告了第三届反应式合成竞赛（SYNTCOMP 2016）的设计，包括将竞赛大幅扩展至完整线性时序逻辑规约。我们简要概述了 SYNTCOMP 所考虑的合成问题，并介绍了 2016 年的竞赛规则以及我们设计选择背后的理念。此外，我们基于 SYNTCOMP 2016 的经验评估了竞赛的近期变化。最后，我们展望了未来计划对竞赛进行的进一步更改和扩展。
引用
@article{arxiv.1611.07626,
title = {The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond},
author = {Swen Jacobs and Roderick Bloem},
journal= {arXiv preprint arXiv:1611.07626},
year = {2016}
}
备注
In Proceedings SYNT 2016, arXiv:1611.07178