GR(1) 综合及相关算法的性能启发式
计算机科学中的逻辑
2017-12-05 v1 性能
摘要
针对 LTL 的 GR(1) 片段的反应式综合已在诸多工作中实现与研究。在本研讨会论文中，我们提出并评估了一系列有望降低 GR(1) 综合及相关算法运行时间的启发式方法。该列表包括不动点与不可实现性的早期检测、不动点复用，以及针对不可实现核计算的启发式。我们在 SYNTECH15（共 78 份由我们所授项目课中计算机科学三年级本科生编写的 6 个自主 Lego 机器人规范）以及文献中的若干基准上评估所提启发式。该评估不仅考察了所建议启发式改进计算时间的潜力，也考察了现有基准与机器人规范在启发式有效性方面的差异。
引用
@article{arxiv.1712.01103,
title = {Performance Heuristics for GR(1) Synthesis and Related Algorithms},
author = {Elizabeth Firman and Shahar Maoz and Jan Oliver Ringert},
journal= {arXiv preprint arXiv:1712.01103},
year = {2017}
}
备注
In Proceedings SYNT 2017, arXiv:1711.10224