CAP Project

[HashemiH0STW16] Compositional Bisimulation Minimization for Interval Markov Decision Processes Hashemi, V.; Hermanns, H.; Song, L.; Subramani, K.; Turrini, A. and Wojciechowski, P. J. In Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pages 114-126, Springer, Lecture Notes in Computer Science 9618, 2016.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-30000-9_9