James Haydon
YOU?
Author Swipe
View article: Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance Open
As the development of autonomous vehicles progresses, efficient safety\nassurance methods become increasingly necessary. Safety assurance methods such\nas monitoring and scenario-based testing call for formalisation of driving\nscenarios. …
View article: Formal Verification of Intersection Safety for Automated Driving
Formal Verification of Intersection Safety for Automated Driving Open
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 control strategies in intersection scenarios. Intersection scena…
View article: Formal Verification of Safety Architectures for Automated Driving
Formal Verification of Safety Architectures for Automated Driving Open
Safety architectures play a crucial role in the safety assurance of automated\ndriving vehicles (ADVs). They can be used as safety envelopes of black-box ADV\ncontrollers, and for graceful degradation from one ODD to another. Building on\n…
View article: Goal-Aware RSS for Complex Scenarios via Program Logic
Goal-Aware RSS for Complex Scenarios via Program Logic Open
International audience