External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong. SDLV: Verification of Steering Angle Safety for Self-Driving Cars. Formal Asp. Comput., 33(3):325-341, 2021. [doi]

Authors

Huihui Wu

This author has not been identified. Look up 'Huihui Wu' in Google

Deyun Lv

This author has not been identified. Look up 'Deyun Lv' in Google

Tengxiang Cui

This author has not been identified. Look up 'Tengxiang Cui' in Google

Gang Hou

This author has not been identified. Look up 'Gang Hou' in Google

Masahiko Watanabe

This author has not been identified. Look up 'Masahiko Watanabe' in Google

Weiqiang Kong

This author has not been identified. Look up 'Weiqiang Kong' in Google
runs on