A situation coverage grid is augmented with transition probabilities and checked with probabilistic model checking to rank AGV situations by collision risk.
Defining and substantiating the terms scene, situation, and scenario for automated driving,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.RO 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach
A situation coverage grid is augmented with transition probabilities and checked with probabilistic model checking to rank AGV situations by collision risk.