从目标导向的LTLf公式设计行为树

摘要:基于行为树的线性时间逻辑目标合成方法

作者:Aadesh Neupane, Michael A. Goodrich

论文ID:2307.06399

分类:Artificial Intelligence

分类简称:cs.AI

提交时间:2023-07-14

PDF 下载: 英文版 中文版pdf翻译中