Arjun Badyal

According to our database, Arjun Badyal authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach.

Nawshin Mannan Proma, Gricel Vázquez, Sepeedeh Shahbeigi, Arjun Badyal, Victoria J. Hodge

CoRR, July, 2025

2024

Safety Assurance Challenges for Autonomous Drones in Underground Mining Environments.

Philippa Ryan, Arjun Badyal, Samuel Sze, Benjamin Hardin, Hasan Bin Firoz, Paulina Lewinska, Victoria J. Hodge

Proceedings of the Towards Autonomous Robotic Systems - 25th Annual Conference, 2024