[HahnHHT16] Exploiting Robust Optimization for Interval Probabilistic Bisimulation Hahn, E. M.; Hashemi, V.; Hermanns, H. and Turrini, A. In QEST, pages 55-71, LNCS 9826, 2016.
Downloads: pdf, bibURL: https://doi.org/10.1007/978-3-319-43425-4_4