Wooding, B., & Lavaei, A. (2024). IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems