Tengxiang Cui

According to our database, Tengxiang Cui authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

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