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)