Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees. - Abolfazl Lavaei; Luigi Di Lillo; Margherita Atzei; Andrea Censi; Emilio Frazzoli (HSCC, 2022)

A Counterfactual Safety Margin Perspective on the Scoring of Autonomous Vehicles' Riskiness. - Alessandro Zanardi; Andrea Censi; Margherita Atzei; Luigi Di Lillo; Emilio Frazzoli (CoRR, 2023)

Comparative Safety Performance of Autonomous- and Human Drivers: A Real-World Case Study of the Waymo One Service. - Luigi Di Lillo; Tilia Gode; Xilin Zhou; Margherita Atzei; Ruoshu Chen; Trent Victor (CoRR, 2023)

Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach. - Abolfazl Lavaei; Luigi Di Lillo; Andrea Censi; Emilio Frazzoli (IEEE Trans. Control. Netw. Syst., 2023)

RAVE Checklist: Recommendations for Overcoming Challenges in Retrospective Safety Studies of Automated Driving Systems. - John M. Scanlon; Eric R. Teoh; David G. Kidd; Kristofer D. Kusano; Jonas Bärgman; Geoffrey Chi-Johnston; Luigi Di Lillo; Francesca Favaro; Carol A. C. Flannagan; Henrik Liers; Bonnie Lin; Magdalena Lindman; et al. (CoRR, 2024)

Realistic Extreme Behavior Generation for Improved AV Testing. - Robert Dyro; Matthew Foutter; Ruolin Li; Luigi Di Lillo; Edward Schmerling; Xilin Zhou; Marco Pavone 001 (CoRR, 2024)

Performance assessment of ADAS in a representative subset of critical traffic situations. - Luigi Di Lillo; Andrea Triscari; Xilin Zhou; Robert Dyro; Ruolin Li; Marco Pavone 001 (CoRR, 2024)