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
PDF
Formal Methods in VerificationSoftware Reliability and Analysis ResearchAutonomous Vehicle Technology and Safety
Formal Methods in VerificationSoftware Reliability and Analysis ResearchAutonomous Vehicle Technology and Safety
相关技术:Formal Methods in Verification
关系图谱

Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars · 作者

M

Matthias Althoff