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. The drawback to this approach is the computational cost of operating on high resolution discrete abstractions of continuous dynamical systems... (read more)

Results in Papers With Code
(↓ scroll down to see all results)