October 15, 2025Open Access

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

View Full Paper

Ask AI

Bookmark

Authors

Discussion

Probabilistic model checks safety properties in autonomous ground vehicles, highlighting risk mitigation and compliance.

The approach effectively identifies high-risk situations in autonomous ground vehicle operations, ensuring safer deployment.
Probabilistic model checking showed significant compliance with safety standards, enhancing operational safety guarantees.
Data-driven situation coverage grids were utilized to exhaustively enumerate relevant environmental configurations of the vehicle.
The study presents a model linking hazard analysis to temporal logic for rigorous safety verification in varying scenarios.

Proma et al. (2025) studied this question.

View Full Paper

Ask AI

Bookmark