第二届反应式合成竞赛 (SYNTCOMP 2015)
计算机科学中的逻辑
2016-02-04 v1
摘要
我们报告了第二届反应式合成竞赛(SYNTCOMP 2015)的设计与结果。我们描述了扩展的基准库，包含6个全新的基准集，以及针对已在SYNTCOMP 2014中使用的4个基准集的额外挑战性实例。为了加强实验结果的分析，我们引入了对基准格式的扩展，加入了元信息，包括难度评级和解的参考规模。工具在一组250个基准上进行评估，这些基准经筛选以良好覆盖所有类别和难度的基准。我们报告了评估方案和实验设置的变化。最后，我们描述了参与SYNTCOMP 2015的参赛工具，以及我们实验评估的结果。在我们的分析中，我们强调了相较于去年参与工具所取得的进展。
引用
@article{arxiv.1602.01171,
title = {The Second Reactive Synthesis Competition (SYNTCOMP 2015)},
author = {Swen Jacobs and Roderick Bloem and Romain Brenguier and Robert Könighofer 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:1602.01171},
year = {2016}
}
备注
In Proceedings SYNT 2015, arXiv:1602.00786