Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs.

Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni

Browse the full SETTA paper archive.