@misc{indiciae9bd75e5a4a5c,
  title = {Automata-Theoretic Verification of Interval Markov Decision Processes},
  author = {Sarvin Bahmani and Soumyajit Paul and Sven Schewe and Sadegh Soudjani and Ashutosh Trivedi},
  year = {2026},
  url = {https://arxiv.org/abs/2609.21966},
  note = {Source identifier: 2609.21966}
}