Motion planning with temporal-logic specifications: Progress and challenges-Reference-Cited by-同舟云学术

Motion planning with temporal-logic specifications: Progress and challenges

Published:2015-08-10 Issue:1 Volume:29 Page:151-162
ISSN:1875-8452
Container-title:AI Communications
language:
Short-container-title:AIC

Author:

Plaku Erion¹,Karaman Sertac²

Affiliation:

1. Department of Electrical Engineering and Computer Science, Catholic University of America, Washington, DC, USA. E-mail: plaku@cua.edu

2. Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA. E-mail: sertac@mit.edu

Publisher

IOS Press

Subject

Artificial Intelligence

Reference85 articles.

1. [1]S. Aine and M. Likhachev, Anytime truncated D∗: Anytime replanning with truncation, in: Annual Symposium on Combinatorial Search, 2013, pp. 2–10.

2. [2]R. Alterovitz and K. Goldberg, Motion Planning in Medicine: Optimization and Simulation Algorithms for Image-Guided Procedures, Springer Tracts in Advanced Robotics, 2008.

3. Planning for temporally extended goals;Bacchus;Annals of Mathematics and Artificial Intelligence,1998

4. [4]K.E. Bekris and L.E. Kavraki, Greedy but safe replanning under kinodynamic constraints, in: IEEE International Conference on Robotics and Automation, 2007, pp. 704–710.

5. Symbolic planning and control of robot motion;Belta;IEEE Robotics and Automation Magazine,2007

Cited by 53 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis;Nonlinear Analysis: Hybrid Systems;2024-08

2. Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications;2024 American Control Conference (ACC);2024-07-10

3. Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking;2024 IEEE Intelligent Vehicles Symposium (IV);2024-06-02

4. NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13

5. A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles;IEEE Robotics and Automation Letters;2024-05