哦,尹森;Cho,Kyunghoon先生;Choi、Yunho;哦,宋慧 基于时序逻辑任务的机会约束多层抽样路径规划。 (英语) Zbl 07480596号 IEEE传输。自动。控制 66,编号12,5816-5829(2021). 编辑评论:未交付评论副本。 引用于1文件 MSC公司: 93B35型 灵敏度(稳健性) 93C85号 控制理论中的自动化系统(机器人等) 93E03型 控制理论中的随机系统(一般) 03B44号 时间逻辑 关键词:线性时序逻辑;路径规划;概率保证 PDF格式BibTeX公司 XML格式引用 \textit{Y.Oh}等人,IEEE Trans。自动。控制66,编号12,5816--5829(2021;Zbl 07480596) 全文: 内政部