External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs

Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled Elbassioni. Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. In Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang, editors, Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Volume 10606 of Lecture Notes in Computer Science, pages 25-41, Springer, 2017. [doi]

Authors

Vahid Hashemi

This author has not been identified. Look up 'Vahid Hashemi' in Google

Andrea Turrini

This author has not been identified. Look up 'Andrea Turrini' in Google

Ernst Moritz Hahn

This author has not been identified. Look up 'Ernst Moritz Hahn' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Khaled Elbassioni

This author has not been identified. Look up 'Khaled Elbassioni' in Google
runs on