The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

Podobne zapisy

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