A Personalized Lane-Change Safety Verification Framework Based on Driving Style and Formal Modeling.

Xin Wang, Letian Fang, Jing Liu, Rongbin Hou

Browse the full SMC paper archive.