Publication

[HashemiHSSTW16] Compositional Bisimulation Minimization for Interval Markov Decision Processes Hashemi, V.; Hermanns, H.; Song, L.; Subramani, K.; Turrini, A. and Wojciechowski, P. In LATA'16, pages 114-126, LNCS 9618, 2016.Downloads: bib