Login / Signup

Online Safety Verification of Autonomous Driving Decision-Making Based on Dynamic Reachability Analysis.

Fei GaoCheng LuoFangyuan ShiXianqing ChenZhenhai GaoRui Zhao
Published in: IEEE Access (2023)
Keyphrases
  • reachability analysis
  • decision making
  • model checking
  • autonomous driving
  • real time
  • grand challenge
  • dynamic environments
  • timed automata
  • fuzzy logic
  • machine learning
  • decision process
  • vision algorithms