An upper bound on the worst-case probability of hitting an unsafe state under Wasserstein-ambiguous transition kernels is computed via a convex-program robust Q-iteration for MDPs.
p-safe analysis of stochastic hybrid processes,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Distributionally Robust Safety Verification for Markov Decision Processes
An upper bound on the worst-case probability of hitting an unsafe state under Wasserstein-ambiguous transition kernels is computed via a convex-program robust Q-iteration for MDPs.