TY  - RPRT
TI  - Optimization-Based Robust Permissive Synthesis for Interval MDPs
AU  - Khang Vo Huynh
AU  - David Parker
AU  - Lu Feng
PY  - 2026
UR  - https://arxiv.org/abs/2510.03481
ID  - 2510.03481
ER  -