Search Results for author:
Found 1 papers, 0 papers with code
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
