Picture for Benjamin Bray

Benjamin Bray

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

Add code
Mar 27, 2024
Viaarxiv icon