research
∙
11/11/2018
Model predictive trajectory optimization and tracking for on-road autonomous vehicles
Motion planning for autonomous vehicles requires spatio-temporal motion ...
share
research
∙
10/05/2018
Accelerated Labeling of Discrete Abstractions for Autonomous Driving Subject to LTL Specifications
Linear temporal logic and automaton-based run-time verification provide ...
research
∙
09/22/2017
Efficient Nearest-Neighbor Search for Dynamical Systems with Nonholonomic Constraints
Nearest-neighbor search dominates the asymptotic complexity of sampling-...
research
∙
04/06/2017