BriefGPT - AI 论文速递 · 2023-08-29T00:00:00Z LTLf 合成关于可达性和安全性质的环境规范 💡 原文中文，约300字，阅读约需1分钟。 📝 内容提要 本文研究了针对任意可达性和安全性属性的环境规范下的LTLf综合，提供了一系列完整的综合算法。 🎯 关键要点 本文研究了针对任意可达性和安全性属性的环境规范下的LTLf综合。 考虑了代理任务和环境规范的两种属性。 提供了一系列完整的综合算法。 针对每种情况设计了特定算法，并证明了其正确性。 这些算法通过不同方式组合了常见的构建模块。 一些情况在文献中已有研究，其他情况为首次研究。 🏷️ 标签 LTLf综合 可达性属性 安全 安全性属性 环境规范 算法 阅读原文 生成长图 分享链接 已复制链接
