Approximating and computing behavioural distances in probabilistic transition systems

Approximating and computing behavioural distances in probabilistic transition systems

In an earlier paper we presented a pseudometric on the states of a probabilistic transition system, yielding a quantitative notion of behavioural equivalence. The behavioural pseudometric was defined via the terminal coalgebra of a functor based on a metric on Borel probability measures. In the pres...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	van Breugel, F, Worrell, J
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	2006

Eitemau Tebyg

APPROXIMATING A BEHAVIOURAL PSEUDOMETRIC WITHOUT DISCOUNT FOR PROBABILISTIC SYSTEMS
gan: Van Breugel, F, et al.
Cyhoeddwyd: (2008)

Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
gan: Franck van Breugel, et al.
Cyhoeddwyd: (2008-04-01)

On the Complexity of Computing Probabilistic Bisimilarity
gan: Chen, D, et al.
Cyhoeddwyd: (2012)

The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
gan: van Breugel, F, et al.
Cyhoeddwyd: (2014)

Computing probabilistic bisimilarity distances for probabilistic automata
gan: Bacci, G, et al.
Cyhoeddwyd: (2021)

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
gan: Giorgio Bacci, et al.
Cyhoeddwyd: (2021-02-01)

Deciding probabilistic bisimilarity distance one for probabilistic automata
gan: Tang, Q, et al.
Cyhoeddwyd: (2020)

Computing Distances between Probabilistic Automata
gan: Mathieu Tracol, et al.
Cyhoeddwyd: (2011-07-01)

Compositionality of Approximate Bisimulation for Probabilistic Systems
gan: Daniel Gebler, et al.
Cyhoeddwyd: (2013-07-01)

Measuring Progress of Probabilistic LTL Model Checking
gan: Elise Cormie-Bowins, et al.
Cyhoeddwyd: (2012-07-01)

Anytime approximation in probabilistic databases
gan: Fink, R, et al.
Cyhoeddwyd: (2013)

Measuring the probabilistic powerdomain
gan: Martin, K, et al.
Cyhoeddwyd: (2002)

Measuring the probabilistic powerdomain
gan: Martin, K, et al.
Cyhoeddwyd: (2002)

Probabilistic model checking of randomized Java code
gan: Fatmi, SZ, et al.
Cyhoeddwyd: (2021)

Probabilistic Updating of Structural Models for Damage Assessment Using Approximate Bayesian Computation
gan: Zhouquan Feng, et al.
Cyhoeddwyd: (2020-06-01)

Probabilistic automata of bounded ambiguity
gan: Fijalkow, N, et al.
Cyhoeddwyd: (2017)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
gan: Wenjie Du, et al.
Cyhoeddwyd: (2022-12-01)

Minimising the probabilistic bisimilarity distance
gan: Kiefer, S, et al.
Cyhoeddwyd: (2024)

Probabilistic route reliability with distance
gan: Sargolzaey, Hadi, et al.
Cyhoeddwyd: (2010)

Application of a computationally efficient method to approximate gap model results with a probabilistic approach
gan: M. Scherstjanoi, et al.
Cyhoeddwyd: (2014-07-01)

Recursively defined metric spaces without contraction
gan: van Breugel, F, et al.
Cyhoeddwyd: (2007)

Distributed Distance Approximation
gan: Ancona, B, et al.
Cyhoeddwyd: (2022)

On automated verification of probabilistic programs
gan: Legay, A, et al.
Cyhoeddwyd: (2008)

Approximate reasoning for real-time probabilistic processes
gan: Vineet Gupta, et al.
Cyhoeddwyd: (2006-03-01)

Sound approximate and asymptotic probabilistic bisimulations for PCTL
gan: Massimo Bartoletti, et al.
Cyhoeddwyd: (2023-03-01)

Approximating Probabilistic Models as Weighted Finite Automata
gan: Ananda Theertha Suresh, et al.
Cyhoeddwyd: (2021-06-01)

Synaptic and Nonsynaptic Plasticity Approximating Probabilistic Inference
gan: Philip Joseph Tully, et al.
Cyhoeddwyd: (2014-04-01)

Informative and adaptive distances and summary statistics in sequential approximate Bayesian computation.
gan: Yannik Schälte, et al.
Cyhoeddwyd: (2023-01-01)

Language equivalence for probabilistic automata
gan: Kiefer, S, et al.
Cyhoeddwyd: (2011)

Algorithmic probabilistic game semantics
gan: Kiefer, S, et al.
Cyhoeddwyd: (2013)

Application of piecewise-linear approximation of probabilistic-time characteristics of queuing systems
gan: I. L. Krikunov, et al.
Cyhoeddwyd: (2020-12-01)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2016)

Differentials and distances in probabilistic coherence spaces
gan: Thomas Ehrhard
Cyhoeddwyd: (2022-08-01)

Probabilistic behavioral distance and tuning—reducing and aggregating complex systems
gan: Frank Hellmann, et al.
Cyhoeddwyd: (2023-01-01)

On the Complexity of the Equivalence Problem for Probabilistic Automata
gan: Kiefer, S, et al.
Cyhoeddwyd: (2012)

APEX: An analyzer for open probabilistic programs
gan: Kiefer, S, et al.
Cyhoeddwyd: (2012)

Approximability of the discrete Fréchet distance
gan: Karl Bringmann, et al.
Cyhoeddwyd: (2015-12-01)

When is containment decidable for probabilistic automata?
gan: Daviaud, L, et al.
Cyhoeddwyd: (2018)

Probabilistic state synthesis based on optimal convex approximation
gan: Seiseki Akibue, et al.
Cyhoeddwyd: (2024-01-01)

Conducting Causal Analysis by Means of Approximating Probabilistic Truths
gan: Bo Pieter Johannes Andrée
Cyhoeddwyd: (2022-01-01)