Hashemi, Vahid International Max Planck Research School, MPI for Informatics, Max Planck Society;
Hashemi, V., Hermanns, H., & Song, L. (2016). Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. In B. Jobstmann, & K. R. M. Leino (Eds.), Verification, Model Checking, and Abstract Interpretation (pp. 351-371). Berlin: Springer. doi:10.1007/978-3-662-49122-5_17.