Publication

[HashemiTHHE17] Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs Hashemi, V.; Turrini, A.; Hahn, E. M.; Hermanns, H. and Elbassioni, K. In SETTA, pages 25-41, LNCS 10606, 2017.
Note: Best paper award
Downloads: bib