TY  - RPRT
TI  - Automata-Theoretic Verification of Interval Markov Decision Processes
AU  - Sarvin Bahmani
AU  - Soumyajit Paul
AU  - Sven Schewe
AU  - Sadegh Soudjani
AU  - Ashutosh Trivedi
PY  - 2026
UR  - https://arxiv.org/abs/2609.21966
ID  - 2609.21966
ER  -