Hashemi, Vahid International Max Planck Research School, MPI for Informatics, Max Planck Society;
Hashemi, V., Hermanns, H., Song, L., Subramani, K., Turrini, A., & Wojciechowski, P. (2016). Compositional Bisimulation Minimization for Interval Markov Decision Processes. In A.-H. Dediu, J. Janoušek, C. Martín-Vide, & B. Truthe (Eds.), Language and Automata Theory and Applications (pp. 114-126). Berlin: Springer. doi:10.1007/978-3-319-30000-9_9.