Set-valued MDP abstractions are sound and dominate interval-based abstractions in tightness for any fixed state and disturbance partition, while supporting LP-free control synthesis.
Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty
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
eess.SY 1years
2025 1verdicts
ACCEPT 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
Set-valued MDP abstractions are sound and dominate interval-based abstractions in tightness for any fixed state and disturbance partition, while supporting LP-free control synthesis.