Robust Permissive Controller Synthesis for Interval MDPs. - Khang Vo Huynh; David Parker; Lu Feng (CoRR, 2025)