[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, bib