The following publications are possibly variants of this publication:
- Scenario-Based Verification of Uncertain MDPsMurat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. TACAS 2020: 287-305 [doi]
- Sequential Convex Programming for the Efficient Verification of Parametric MDPsMurat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu. TACAS 2017: 133-150 [doi]
- Graph-Based Reductions for Parametric and Weighted MDPsKasper Engelen, Guillermo A. PĂ©rez 0001, Shrisha Rao 0002. ATVA 2023: 137-157 [doi]