Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars 论文
2010mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich)引用 273
Formal Methods in VerificationSoftware Reliability and Analysis ResearchAutonomous Vehicle Technology and Safety
详细信息
- 发表期刊/会议
- mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich)
- 发表日期
- 2010-01-01
- 发表年份
- 2010
关键词
Formal Methods in VerificationSoftware Reliability and Analysis ResearchAutonomous Vehicle Technology and Safety
摘要
for improving this thesis.I am especially delighted that Prof. Thao Dang from the research center Verimag in Grenoble