Beyond the Limit Automated Driving with Performance Constrained Reachability Analysis.

Tong Zhao Ekim Yurtsever Giorgio Rizzoni

Published in: IROS (2022)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
semi automated
incremental algorithms
fully automated
real time
autonomous driving
data mining
machine learning
objective function
least squares