Masahiko Watanabe

SDLV: Verification of Steering Angle Safety for Self-Driving Cars

2021 · Formal Aspects of Computing

Abstract Self-driving cars over the last decade have achieved significant progress like driving millions of miles without any human intervention. However, behavioral safety in applying deep-neural-network-based (DNN based) systems for self-driving cars could not be …