Scifaro

中文

可达性与安全性性质下环境规范中的LTLf合成

计算机科学中的逻辑 2023-08-30 v1 人工智能形式语言与自动机理论系统与控制系统与控制

作者: Benjamin Aminof , Giuseppe De Giacomo , Antonio Di Stasio , Hugo Francon , Sasha Rubin , Shufang Zhu

在 arXiv 上查看 ↗ PDF ↗

摘要

本文研究任意可达性与安全性性质下环境规范中的LTLf合成。我们考虑智能体任务与环境规范这两类性质，提供合成算法的完整图景。对每种情形，我们设计了特定算法（关于问题复杂度为最优）并证明其正确性。这些算法以不同方式组合通用构建块。虽然某些情形已在文献中研究过，其他情形则是首次在此研究。

关键词

LTLf合成环境规范可达性性质安全性性质合成算法复杂度

引用

@article{arxiv.2308.15184,
  title  = {LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties},
  author = {Benjamin Aminof and Giuseppe De Giacomo and Antonio Di Stasio and Hugo Francon and Sasha Rubin and Shufang Zhu},
  journal= {arXiv preprint arXiv:2308.15184},
  year   = {2023}
}

备注

To appear at EUMAS2023