[HahnHHLT17] Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes Hahn, E. M.; Hashemi, V.; Hermanns, H.; Lahijanian, M. and Turrini, A. In QEST, pages 207-223, LNCS 10503, 2017.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-66335-7_13