Picture for Étienne André

Étienne André

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

Add code
Mar 27, 2024
Viaarxiv icon