SDLV: Verification of Steering Angle Safety for Self-Driving Cars. - Huihui Wu; Deyun Lv; Tengxiang Cui; Gang Hou; Masahiko Watanabe; Weiqiang Kong (Formal Aspects Comput., 2021)