You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Compositional Bisimulation Minimization for Interval Markov Decision Processes
Language and Automata Theory and Applications
Lecture notes in computer science, February 2016
Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski