6 citations · 7 across the 3 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2023★ 6 cited
Formal Verification of Safety Architectures for Automated Driving
Clovis Eberhart, Jérémy Dubut, James Haydon +1
Safety architectures play a crucial role in the safety assurance of automated driving vehicles (ADVs). They can be used as safety envelopes of black-box ADV controllers, and for gr…
cs.RO2023
Formal Verification of Intersection Safety for Automated Driving
James Haydon, Martin Bondu, Clovis Eberhart +2
We build on our recent work on formalization of responsibility-sensitive safety (RSS) and present the first formal framework that enables mathematical proofs of the safety of contr…