@article{impactintervalmdpparallelconstructionfor,
  title = {IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems},
  author = {Ben Wooding and Abolfazl Lavaei},
  year = {2024},
  eprint = {2401.03555},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2401.03555v2},
}