Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Proma, Nawshin Mannan, Vázquez, Gricel, Shahbeigi, Sepeedeh, Badyal, Arjun, Hodge, Victoria
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems
by: Shahbeigi, Sepeedeh, et al.
Published: (2025)

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment
by: Proma, Nawshin Mannan, et al.
Published: (2025)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning
by: Vázquez, Gricel, et al.
Published: (2025)

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL
by: Imrie, Calum Corrie, et al.
Published: (2025)

Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
by: Vázquez, Gricel, et al.
Published: (2026)

A Systematic Digital Engineering Approach to Verification & Validation of Autonomous Ground Vehicles in Off-Road Environments
by: Samak, Tanmay Vilas, et al.
Published: (2025)

Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
by: Rafiq, Yasmin, et al.
Published: (2025)

Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions
by: Arab, Aliasghar, et al.
Published: (2024)

Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles
by: Samak, Chinmay Vilas, et al.
Published: (2023)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
by: Parameshwaran, Aditya, et al.
Published: (2024)

Redefining Safety for Autonomous Vehicles
by: Koopman, Philip, et al.
Published: (2024)

An Adaptive Coverage Control Approach for Multiple Autonomous Off-road Vehicles in Dynamic Agricultural Fields
by: Ahmadi, Sajad, et al.
Published: (2025)

Developing Situational Awareness for Joint Action with Autonomous Vehicles
by: Kaufman, Robert, et al.
Published: (2024)

Incorporating Explanations into Human-Machine Interfaces for Trust and Situation Awareness in Autonomous Vehicles
by: Atakishiyev, Shahin, et al.
Published: (2024)

Radar-Based Localization For Autonomous Ground Vehicles In Suburban Neighborhoods
by: Kramer, Andrew J., et al.
Published: (2024)

Developing a Safety Management System for the Autonomous Vehicle Industry
by: Wichner, David, et al.
Published: (2024)

Multifractal Terrain Generation for Evaluating Autonomous Off-Road Ground Vehicles
by: Majhor, Casey D., et al.
Published: (2025)

Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
by: Nascimento, Alexandre Moreira, et al.
Published: (2025)

Behavior Trees in Functional Safety Supervisors for Autonomous Vehicles
by: Conejo, Carlos, et al.
Published: (2024)

Stochastic Modeling of Road Hazards on Intersections and their Effect on Safety of Autonomous Vehicles
by: Popov, Peter, et al.
Published: (2025)

System-Level Safety Monitoring and Recovery for Perception Failures in Autonomous Vehicles
by: Chakraborty, Kaustav, et al.
Published: (2024)

Learning-Based Modeling of Human-Autonomous Vehicle Interaction for Improved Safety in Mixed-Vehicle Platooning Control
by: Wang, Jie, et al.
Published: (2023)

A Visitation Grid for Complete Coverage Foraging in Robot Swarms
by: Gonzalez, Qi Arturo, et al.
Published: (2026)

Uncertainty-Aware Safety-Critical Decision and Control for Autonomous Vehicles at Unsignalized Intersections
by: Yu, Ran, et al.
Published: (2025)

Data-driven Diffusion Models for Enhancing Safety in Autonomous Vehicle Traffic Simulations
by: Lu, Jinxiong, et al.
Published: (2024)

Online IMU-odometer Calibration using GNSS Measurements for Autonomous Ground Vehicle Localization
by: Song, Baoshan, et al.
Published: (2025)

ForestTrav: Accurate, Efficient and Deployable Forest Traversability Estimation for Autonomous Ground Vehicles
by: Ruetz, Fabio, et al.
Published: (2023)

Multi-Agent Probabilistic Ensembles with Trajectory Sampling for Connected Autonomous Vehicles
by: Wen, Ruoqi, et al.
Published: (2023)

Behavioral Safety Assessment towards Large-scale Deployment of Autonomous Vehicles
by: Liu, Henry X., et al.
Published: (2025)

Geometry-Aware Surrogate for Real-Time Hydrodynamics Estimation of Autonomous Ground Vehicles in Amphibious Environments
by: Waheed, Ammar, et al.
Published: (2026)

Few-Shot Scenario Testing for Autonomous Vehicles Based on Neighborhood Coverage and Similarity
by: Li, Shu, et al.
Published: (2024)

DDM-Lag : A Diffusion-based Decision-making Model for Autonomous Vehicles with Lagrangian Safety Enhancement
by: Liu, Jiaqi, et al.
Published: (2024)

Fast Path Planning for Autonomous Vehicle Parking with Safety-Guarantee using Hamilton-Jacobi Reachability
by: Chi, Xuemin, et al.
Published: (2023)

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
by: Barhoumi, Oumaima, et al.
Published: (2026)

Agile Decision-Making and Safety-Critical Motion Planning for Emergency Autonomous Vehicles
by: Shu, Yiming, et al.
Published: (2024)

Rolling Horizon Coverage Control with Collaborative Autonomous Agents
by: Papaioannou, Savvas, et al.
Published: (2025)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
by: Adam, Mustafa, et al.
Published: (2025)

A Data-Informed Analysis of Scalable Supervision for Safety in Autonomous Vehicle Fleets
by: Hickert, Cameron, et al.
Published: (2024)

Grand Challenges in the Verification of Autonomous Systems
by: Leahy, Kevin, et al.
Published: (2024)