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)