@misc{indiciaec981a5e43991,
  title = {IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems},
  author = {Ben Wooding and Abolfazl Lavaei},
  year = {2024},
  url = {https://arxiv.org/abs/2401.03555},
  note = {Source identifier: 2401.03555}
}