no code implementations • 5 Oct 2018 • Brian Paden, Peng Liu, Schuyler Cullen
Linear temporal logic and automaton-based run-time verification provide a powerful framework for designing task and motion planning algorithms for autonomous agents.
1 code implementation • 6 Apr 2017 • Brian Paden, Yannik Nager, Emilio Frazzoli
A landmark based heuristic is investigated for reducing query phase run-time of the probabilistic roadmap (\PRM) motion planning method.
3 code implementations • 23 Jul 2016 • Brian Paden, Emilio Frazzoli
A resolution complete optimal kinodynamic motion planning algorithm is presented and described as a generalized label correcting (GLC) method.
Robotics
4 code implementations • 25 Apr 2016 • Brian Paden, Michal Cap, Sze Zheng Yong, Dmitry Yershov, Emilio Frazzoli
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