• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Frank J. JiangYulong GaoLihua XieKarl Henrik Johansson
Published in: CDC (2020)
Keyphrases
  • reachability analysis
  • hamilton jacobi
  • markov decision processes
  • model checking
  • finite difference
  • timed automata
  • numerical analysis