How to Handle Assumptions in Synthesis
How to Handle Assumptions in Synthesis
复制标题
如何处理综合中的假设
DOI：
10.4204/eptcs.157.7
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Robert Könighofer
中科院分区：
文献类型：
--
作者：
R. Bloem;Rüdiger Ehlers;Swen Jacobs;Robert Könighofer
在过去的十年里，人们对反应合成的兴趣越来越大，导致了许多改进的解决方案，但也带来了许多新的问题。在本文中，我们讨论的问题，如何处理的假设环境行为。我们提出了我们认为应该实现的四个目标，并审查了已提出的几种不同的可能性。我们认为，他们中的每一个福尔斯在至少一个方面的不足。
The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals that we think should be met and review several different possibilities that have been proposed. We argue that each of them falls short in at least one aspect.