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