共 28 条
[1]
Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers
[J].
2010 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV),
2010,
:1078-1083
[2]
[Anonymous], 2010, REACHABILITY ANAL IT
[3]
[Anonymous], 2015, TRACKING HACKING SEC
[5]
Canis Bill, 2014, C RES SERV LIB C C R
[6]
Checkoway D., 2011, P USENIX SEC S SAN F, P6
[7]
Eichler Jrn, 2015, VDI VW GEMEINSCHAFTS
[8]
Gillula JH, 2011, SPRINGER TRAC ADV RO, V70, P139
[9]
Haque Tarif, 2014, ACM MIDS C, P1
[10]
Islam M.M., 2016, P 2 ACM INT WORKSH C, P3, DOI [10.1145/2899015.2899018, DOI 10.1145/2899015.2899018]