Compositional Bisimulation Minimization for Interval Markov Decision Processes.

Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr Wojciechowski

Browse the full LATA paper archive.