Search Results for author:
Found 4 papers, 3 papers with code
Accelerated Labeling of Discrete Abstractions for Autonomous Driving Subject to LTL Specifications
Linear temporal logic and automaton-based run-time verification provide a powerful framework for designing task and motion planning algorithms for autonomous agents.
Landmark Guided Probabilistic Roadmap Queries
A landmark based heuristic is investigated for reducing query phase run-time of the probabilistic roadmap (\PRM) motion planning method.
A Generalized Label Correcting Method for Optimal Kinodynamic Motion Planning
A resolution complete optimal kinodynamic motion planning algorithm is presented and described as a generalized label correcting (GLC) method.
Robotics
A Survey of Motion Planning and Control Techniques for Self-driving Urban Vehicles
Self-driving vehicles are a maturing technology with the potential to reshape mobility by enhancing the safety, accessibility, efficiency, and convenience of automotive transportation.
Robotics
