Motion planning for autonomous vehicles requires spatio-temporal motion ...
Linear temporal logic and automaton-based run-time verification provide ...
Nearest-neighbor search dominates the asymptotic complexity of sampling-...
A landmark based heuristic is investigated for reducing query phase run-...