System and Software Security Group
System and Software Security Group
News
People
Publications
Contact
English
中文 (简体)
Autonomous vehicles
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search
Autonomous Driving Systems (ADSs) are complex systems that must satisfy multiple requirements such as safety, compliance to traffic …
Yixing Luo
,
Xiao-Yi Zhang
,
Paolo Arcaini
,
Zhi Jin
,
Haiyan Zhao
,
Fuyuki Ishikawa
,
Rongxin Wu
,
Tao Xie
PDF
Cite
DOI
Paper Link
Cite
×