如何在综合中处理假设
计算机科学中的逻辑
2014-07-22 v1
摘要
过去十年中对反应式综合（reactive synthesis）日益增长的兴趣带来了许多改进的解决方案，但也引发了许多新问题。在本文中，我们讨论了如何处理关于环境行为的假设。我们提出了认为应当满足的四个目标，并回顾了几种已提出的不同可能性。我们论证了每一种方案至少在某个方面存在不足。
引用
@article{arxiv.1407.5395,
title = {How to Handle Assumptions in Synthesis},
author = {Roderick Bloem and Rüdiger Ehlers and Swen Jacobs and Robert Könighofer},
journal= {arXiv preprint arXiv:1407.5395},
year = {2014}
}
备注
In Proceedings SYNT 2014, arXiv:1407.4937