An approach to analyzing adaptive intelligent vehicle system using SMT solver.

Yujian Fu, Md Hossain Shuvo

Browse the full CoDIT paper archive.