The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	van Breugel, F, Worrell, J
التنسيق:	كتاب
منشور في:	2014

مواد مشابهة

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)

Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
حسب: Franck van Breugel, وآخرون
منشور في: (2008-04-01)

Game characterization of probabilistic bisimilarity, and applications to pushdown automata
حسب: Forejt, V, وآخرون
منشور في: (2018)

Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
حسب: Vojtěch Forejt, وآخرون
منشور في: (2018-11-01)

Lattice structures for bisimilar Probabilistic Automata
حسب: Johann Schuster, وآخرون
منشور في: (2014-02-01)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
حسب: Wenjie Du, وآخرون
منشور في: (2022-12-01)

Minimising the probabilistic bisimilarity distance
حسب: Kiefer, S, وآخرون
منشور في: (2024)

Expected-Delay-Summing Weak Bisimilarity for Markov Automata
حسب: Alessandro Aldini, وآخرون
منشور في: (2015-09-01)

On the Complexity of the Equivalence Problem for Probabilistic Automata
حسب: Kiefer, S, وآخرون
منشور في: (2012)

Approximating and computing behavioural distances in probabilistic transition systems
حسب: van Breugel, F, وآخرون
منشور في: (2006)

On-the-Fly Computation of Bisimilarity Distances
حسب: Giorgio Bacci, وآخرون
منشور في: (2017-06-01)

Probabilistic automata of bounded ambiguity
حسب: Fijalkow, N, وآخرون
منشور في: (2017)

On completeness of quasi-pseudometric spaces
حسب: Seithuti P. Moshokoa
منشور في: (2005-01-01)

★-quasi-pseudometrics on algebraic structures
حسب: Shi-Yao He, وآخرون
منشور في: (2023-10-01)

Language equivalence for probabilistic automata
حسب: Kiefer, S, وآخرون
منشور في: (2011)

When is containment decidable for probabilistic automata?
حسب: Daviaud, L, وآخرون
منشور في: (2018)

Codensity games for bisimilarity
حسب: Komorida, Y, وآخرون
منشور في: (2022)

Completeness in Quasi-Pseudometric Spaces—A Survey
حسب: Ştefan Cobzas
منشور في: (2020-08-01)

Fuzzy Cluster Analysis: Pseudometrics and Fuzzy Clusters
حسب: Iryna Riasna
منشور في: (2023-04-01)

Quasi-pseudometric properties of the Nikodym-Saks space
حسب: Jesús Ferrer
منشور في: (2003-10-01)

When are emptiness and containment decidable for probabilistic automata?
حسب: Daviaud, L, وآخرون
منشور في: (2021)

A Solution to the Completion Problem for Quasi-Pseudometric Spaces
حسب: Athanasios Andrikopoulos
منشور في: (2013-01-01)

Conditional Bisimilarity for Reactive Systems
حسب: Mathias Hülsbusch, وآخرون
منشور في: (2022-01-01)

Computing Distances between Probabilistic Automata
حسب: Mathieu Tracol, وآخرون
منشور في: (2011-07-01)

Best Proximity Point Theorem in Quasi-Pseudometric Spaces
حسب: Robert Plebaniak
منشور في: (2016-01-01)

Startpoints and (α,γ)-Contractions in Quasi-Pseudometric Spaces
حسب: Yaé Ulrich Gaba
منشور في: (2014-01-01)

The Strong Ekeland Variational Principle in Quasi-Pseudometric Spaces
حسب: Ştefan Cobzaş
منشور في: (2024-02-01)

Bisimilarity distances for approximate differential privacy
حسب: Chistikov, D, وآخرون
منشور في: (2018)

Strategies for MDP bisimilarity equivalence and inequivalence
حسب: Kiefer, S, وآخرون
منشور في: (2022)

Reducing Weak to Strong Bisimilarity in CCP
حسب: Andrés Aristizábal, وآخرون
منشور في: (2012-12-01)

New Results About Aggregation Functions of Quasi-Pseudometric Modulars
حسب: Alejandro Fructuoso-Bonet, وآخرون
منشور في: (2025-02-01)

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
حسب: Rob van Glabbeek, وآخرون
منشور في: (2020-08-01)

Complexity of equivalence and learning for multiplicity tree automata
حسب: Marusic, I, وآخرون
منشور في: (2015)

Expressiveness modulo bisimilarity of regular expressions with parallel composition
حسب: Baeten, JCM, وآخرون
منشور في: (2015)

Compositionality for Probabilistic Automata
حسب: Lynch, Nancy A., وآخرون
منشور في: (2023)

Probabilistic Automata with Parameters
حسب: Lenhardt, R
منشور في: (2009)