Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis.

Frank J. Jiang Yulong Gao Lihua Xie Karl Henrik Johansson

Published in: CDC (2020)

Keyphrases

reachability analysis
hamilton jacobi
markov decision processes
model checking
finite difference
timed automata
numerical analysis