Safety Verification of Advanced Driver Assistance Systems Using Hybrid Automaton Reachability.

Lu Liu, Qi Sun, Liren Yang, Yahui Li, Chunjie Zhou

Browse the full SMC paper archive.