@misc{indiciaec9be0a12606a,
  title = {A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation},
  author = {Dániel Szekeres and Kristóf Marussy and István Majzik},
  year = {2024},
  url = {https://arxiv.org/abs/2406.00824},
  note = {Source identifier: 2406.00824}
}