第五届反应式合成竞赛（SYNTCOMP 2018）：基准、参与者与结果
计算机科学中的逻辑
2019-04-17 v1
摘要
我们报告第五届反应式合成竞赛（SYNTCOMP 2018）。我们介绍了添加到SYNTCOMP库中的四个新基准类别，并简要描述SYNTCOMP 2018的评估方案与实验设置。我们概述了SYNTCOMP 2018的参与者，并强调与往年相比的变化。最后，我们展示并分析了实验评估的结果，包括依据解的数量与质量对工具进行的排名。
引用
@article{arxiv.1904.07736,
title = {The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results},
author = {Swen Jacobs and Roderick Bloem and Maximilien Colange and Peter Faymonville and Bernd Finkbeiner and Ayrat Khalimov and Felix Klein and Michael Luttenberger and Philipp J. Meyer and Thibaud Michaud and Mouhammad Sakr and Salomon Sickert and Leander Tentrup and Adam Walker},
journal= {arXiv preprint arXiv:1904.07736},
year = {2019}
}
备注
arXiv admin note: substantial text overlap with arXiv:1711.11439, arXiv:1609.00507