The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

類似資料

• On the Complexity of Computing Probabilistic Bisimilarity
  著者:: Chen, D, 等
  出版事項: (2012)
• Computing probabilistic bisimilarity distances for probabilistic automata
  著者:: Bacci, G, 等
  出版事項: (2021)
• Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
  著者:: Giorgio Bacci, 等
  出版事項: (2021-02-01)
• Deciding probabilistic bisimilarity distance one for probabilistic automata
  著者:: Tang, Q, 等
  出版事項: (2020)
• APPROXIMATING A BEHAVIOURAL PSEUDOMETRIC WITHOUT DISCOUNT FOR PROBABILISTIC SYSTEMS
  著者:: Van Breugel, F, 等
  出版事項: (2008)