Doctoral Degree
大连理工大学
Gender:Male
Business Address:综合楼423
E-Mail:hougang@dlut.edu.cn
Date of Publication:2022-10-08
Journal:FORMAL ASPECTS OF COMPUTING
Volume:33
Issue:3
Page Number:325-341
ISSN No.:0934-5043
Key Words:"Self-driving cars; Safety verification; Steering angle; Neuron coverage; Slack relationship"
