An LTL-Based Motion and Action Dynamic Planning Method for Autonomous Robot
暂无分享,去创建一个
Lincheng Shen | Yifeng Niu | Jie Li | Ning Xu
[1] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[2] Calin Belta,et al. Optimal path planning for surveillance with temporal-logic constraints* , 2011, Int. J. Robotics Res..
[3] George J. Pappas,et al. Hybrid Controllers for Path Planning: A Temporal Logic Approach , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[4] Calin Belta,et al. Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization , 2012, DARS.
[5] Hadas Kress-Gazit,et al. Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.
[6] Yushan Chen,et al. LTL robot motion control based on automata learning of environmental dynamics , 2012, 2012 IEEE International Conference on Robotics and Automation.
[7] E. Frazzoli,et al. Complex mission optimization for Multiple-UAVs using Linear Temporal Logic , 2008, 2008 American Control Conference.
[8] Cristian Mahulea,et al. LTL-Based Planning in Environments With Probabilistic Observations , 2015, IEEE Transactions on Automation Science and Engineering.
[9] Dimos V. Dimarogonas,et al. A receding horizon approach to multi-agent planning from local LTL specifications , 2014, 2014 American Control Conference.
[10] Karl Henrik Johansson,et al. Revising motion planning under Linear Temporal Logic specifications in partially known workspaces , 2013, 2013 IEEE International Conference on Robotics and Automation.
[11] Calin Belta,et al. Distribution temporal logic: Combining correctness with quality of estimation , 2013, 52nd IEEE Conference on Decision and Control.
[12] Karl Henrik Johansson,et al. Motion and action planning under LTL specifications using navigation functions and action description language , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[13] Hai Lin,et al. Assume-guarantee cooperative satisfaction of multi-agent systems , 2014, 2014 American Control Conference.