2 papers
cs.SE2025
Methodology for Test Case Allocation based on a Formalized ODD
Martin Skoglund, Fredrik Warg, Anders Thoren +2
The emergence of Connected, Cooperative, and Automated Mobility (CCAM) systems has significantly transformed the safety assessment landscape. Because they integrate automated vehic…
cs.SE2025
Formalizing Operational Design Domains with the Pkl Language
Martin Skoglund, Fredrik Warg, Anders Thorsén +2
The deployment of automated functions that can operate without direct human supervision has changed safety evaluation in domains seeking higher levels of automation. Unlike convent…