The first reactive synthesis competition (SYNTCOMP 2014)
The first reactive synthesis competition (SYNTCOMP 2014)
复制标题
第一届反应合成大赛（SYNTCOMP 2014）
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Adam Walker
中科院分区：
文献类型：
--
作者：
Swen Jacobs;R. Bloem;Romain Brenguier;Rüdiger Ehlers;Timotheus Hell;Robert Könighofer;G. Pérez;Jean;L. Ryzhyk;O. Sankur;M. Seidl;Leander Tentrup;Adam Walker
我们介绍了反应合成竞赛(SYNTCOMP)，这是一项长期的努力，旨在刺激和指导反应体系合成程序的设计和应用方面的进步。SYNTCOMP的第一次迭代是基于有限状态系统的控制器综合问题和安全指标。我们提供了这个问题的概述和现有的解决方法，并报告了第一个SYNTCOMP的设计和结果。这包括基准格式的定义、基准集合、竞赛规则和参与的五个综合工具。我们介绍和分析了比赛的结果，并得出了关于最新水平的结论。最后，对SYNTCOMP的未来发展方向进行了展望。
We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. The first iteration of SYNTCOMP is based on the controller synthesis problem for finite-state systems and safety specifications. We provide an overview of this problem and existing approaches to solve it, and report on the design and results of the first SYNTCOMP. This includes the definition of the benchmark format, the collection of benchmarks, the rules of the competition, and the five synthesis tools that participated. We present and analyze the results of the competition and draw conclusions on the state of the art. Finally, we give an outlook on future directions of SYNTCOMP.