Aug, 2023
LTLf合成关于可达性和安全性质的环境规范
LTLf Synthesis Under Environment Specifications for Reachability and
Safety Properties
TL;DR本文研究了针对任意可达性和安全性属性的环境规范下的LTLf综合，考虑了代理任务和环境规范的两种属性，提供了一系列完整的综合算法。针对每种情况，我们设计了一个特定算法（关于问题复杂性最优），并证明了其正确性。这些算法通过不同的方式组合了常见的构建模块。虽然一些情况已经在文献中得到研究，但其他情况本文首次进行了研究。