Accelerated Labeling of Discrete Abstractions for Autonomous Driving Subject to LTL Specifications

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. The drawback t…