Follow
Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems https://arxiv.org/abs/2507.02213 #eess.SY #cs.SY
Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems https://arxiv.org/abs/2507.02213 #eess.SY #cs.SY