SDLV: verification of steering angle safety for self-driving cars

DOI10.1007/s00165-021-00539-2OpenAlexW3135584977MaRDI QIDQ2050090

Tengxiang Cui, Weiqiang Kong, Huihui Wu, Deyun Lv, Gang Hou, Masahiko Watanabe

Publication date: 30 August 2021

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-021-00539-2

zbMATH Keywords

safety verificationneuron coverageself-driving carsslack relationshipsteering angle

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• GitHub
• Reluplex
• DeepXplore

This page was built for publication: SDLV: verification of steering angle safety for self-driving cars