102 citations · 263 across the 81 of their papers we have counts for
4 papers · 2 filters
Rule-based Evaluation and Optimal Control for Autonomous Driving
Wei Xiao, Noushin Mehdipour, Anne Collin +4
We develop optimal control strategies for autonomous vehicles (AVs) that are required to meet complex specifications imposed as rules of the road (ROTR) and locally specific cultur…
Inferring Temporal Logic Properties from Data using Boosted Decision Trees
Erfan Aasi, Cristian Ioan Vasile, Mahroo Bahreinian +1
Many autonomous systems, such as robots and self-driving cars, involve real-time decision making in complex environments, and require prediction of future outcomes from limited dat…
A Control Architecture for Provably-Correct Autonomous Driving
Erfan Aasi, Cristian Ioan Vasile, Calin Belta
This paper presents a novel two-level control architecture for a fully autonomous vehicle in a deterministic environment, which can handle traffic rules as specifications and low-l…
Rule-based Optimal Control for Autonomous Driving
Wei Xiao, Noushin Mehdipour, Anne Collin +4
We develop optimal control strategies for Autonomous Vehicles (AVs) that are required to meet complex specifications imposed by traffic laws and cultural expectations of reasonable…