Optimization-Based Robust Permissive Synthesis for Interval MDPs
arXiv:2510.03481v3 Announce Type: replace Abstract: We present an optimization-based framework for robust permissive synthesis for Interval Markov Decision Processes (IMDPs). While robust IMDP control