User: Guest  Login
Title:
Irani Liu and Althoff - Computing Specification-Compliant Reachable Sets for Motion Planning of Automated Vehicles
Editor:
Edmond Irani Liu
Abstract:
To safely and effectively participate in road traffic, automated vehicles should explicitly consider compliance with traffic rules and high-level specifications. We propose a method that can incorporate traffic and handcrafted rules expressed in time-labeled propositional logic into our reachability analysis, which computes the over-approximative set of states reachable by vehicles. These reachable sets serve as low-level trajectory planning constraints to expedite the search for specification-c...     »
Year:
2021
Language:
English