系统与软件安全实验室
系统与软件安全实验室
新闻
成员
科研成果
联系我们
中文 (简体)
English
Complex systems
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
引用
DOI
Paper Link
引用
×