Picture for James Haydon

James Haydon

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

Add code
Mar 27, 2024
Viaarxiv icon

Formal Verification of Safety Architectures for Automated Driving

Add code
Aug 20, 2023
Viaarxiv icon

Formal Verification of Intersection Safety for Automated Driving

Add code
Aug 13, 2023
Viaarxiv icon

Goal-Aware RSS for Complex Scenarios via Program Logic

Add code
Jul 06, 2022
Figure 1 for Goal-Aware RSS for Complex Scenarios via Program Logic
Figure 2 for Goal-Aware RSS for Complex Scenarios via Program Logic
Figure 3 for Goal-Aware RSS for Complex Scenarios via Program Logic
Figure 4 for Goal-Aware RSS for Complex Scenarios via Program Logic
Viaarxiv icon