The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

Ítems similars

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