@misc{indiciae2cbaa16dbe23,
  title = {Effective Stochastic Automata Model Checking by Interval Abstraction (extended version)},
  author = {Pedro R. D'Argenio and Arnd Hartmanns and Annabell Petri},
  year = {2026},
  url = {https://arxiv.org/abs/2607.00782},
  note = {Source identifier: 2607.00782}
}