Items where authors include "Badyal, Arjun"

Proceedings Paper

Proma, Nawshin Mannan orcid.org/0000-0002-8869-3977, Vazquez Flores, Gricel, Shahbeigi Roudposhti, Sepeedeh et al. (2 more authors) (2025) Probabilistic Safety Verification for an Autonomous Ground Vehicle:A Situation Coverage Grid Approach. In: 2025 IEEE International Conference on Vehicular Electronics and Safety. 2025 IEEE International Conference on Vehicular Electronics and Safety, 27-28 Oct 2025. IEEE , GBR . (In Press)