Picture for Naoki Ueda

Naoki Ueda

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

Add code
Mar 27, 2024
Viaarxiv icon