首页> 外文OA文献 >Linear Temporal Logic-based Mission Planning

【2h】

Linear Temporal Logic-based Mission Planning

机译：基于线性时序逻辑的任务规划

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Anil Kumar; Rahul Kala;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Linear temporal logic vehicle routing with applications to multi-UAV mission planning [J] . Karaman S., Frazzoli E. International Journal of Robust and Nonlinear Control . 2011,第12期

机译：线性时间逻辑车辆路由及其在多无人机任务计划中的应用
2. FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning [J] . Pant Yash Vardhan, Li Max Z., Rodionova Alena, Transportation research . 2021,第Sepa期

机译：FADS：使用基于时间逻辑的轨迹规划的自主无人机安全框架
3. A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems [J] . Patrick Doherty, Jonas Kvarnstroem, Fredrik Heintz Autonomous agents and multi-agent systems . 2009,第3期

机译：基于时间逻辑的无人机系统计划和执行监视框架
4. Robust multi-layered sampling-based path planning for temporal logic-based missions [C] . Yoonseon Oh, Kyunghoon Cho, Yunho Choi, IEEE Annual Conference on Decision and Control . 2017

机译：针对基于时间逻辑的任务的稳健的多层基于采样的路径规划
5. Graph-Based Methods for Path Planning with Dynamic Obstacles Using Linear Temporal Logic [D] . Han, Wenqi. 2018

机译：基于图表的路径规划方法，使用线性时间逻辑具有动态障碍的路径规划
6. A logic-based method to build signaling networks and propose experimental plans [O] . Adrien Rougny, Pauline Gloaguen, Nathalie Langonné, -1

机译：基于逻辑的方法构建信令网络并提出实验计划
7. Temporal Logic-based Reactive Mission and Motion Planning [O] . Hadas Kress-gazit, Georgios E. Fainekos, et al. 2013

机译：基于时间逻辑的反应任务和运动规划

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号