TY  - RPRT
TI  - Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach
AU  - Nawshin Mannan Proma
AU  - Gricel Vázquez
AU  - Sepeedeh Shahbeigi
AU  - Arjun Badyal
AU  - Victoria Hodge
PY  - 2025
UR  - https://arxiv.org/abs/2507.12158
ID  - 2507.12158
ER  -