摘要：点对点解释：评估给定路径规划中特定时间点上个别线性时态逻辑（LTL）约束的相关性的框架的引入
作者：Noel Brindise and Cedric Langbort
论文ID：2306.13956
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-06-27
PDF 下载： 英文版 中文版pdf翻译中