Picture for Jérémy Dubut

Jérémy Dubut

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