A situation coverage grid is augmented with transition probabilities and checked with probabilistic model checking to rank AGV situations by collision risk.
Environment modeling and simulation for automated testing of soft real-time embedded software,
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
background 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.