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...

書目詳細資料
Main Authors:	van Breugel, F, Worrell, J
格式:	Journal article
語言:	English
出版:	2006

相似書籍

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

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

On the Complexity of Computing Probabilistic Bisimilarity
由: Chen, D, et al.
出版: (2012)

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

Computing probabilistic bisimilarity distances for probabilistic automata
由: Bacci, G, et al.
出版: (2021)

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
由: Giorgio Bacci, et al.
出版: (2021-02-01)

Deciding probabilistic bisimilarity distance one for probabilistic automata
由: Tang, Q, et al.
出版: (2020)

Computing Distances between Probabilistic Automata
由: Mathieu Tracol, et al.
出版: (2011-07-01)

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

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

Anytime approximation in probabilistic databases
由: Fink, R, et al.
出版: (2013)

Measuring the probabilistic powerdomain
由: Martin, K, et al.
出版: (2002)

Measuring the probabilistic powerdomain
由: Martin, K, et al.
出版: (2002)

Probabilistic model checking of randomized Java code
由: Fatmi, SZ, et al.
出版: (2021)

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

Probabilistic automata of bounded ambiguity
由: Fijalkow, N, et al.
出版: (2017)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
由: Wenjie Du, et al.
出版: (2022-12-01)

Minimising the probabilistic bisimilarity distance
由: Kiefer, S, et al.
出版: (2024)

Probabilistic route reliability with distance
由: Sargolzaey, Hadi, et al.
出版: (2010)

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

Recursively defined metric spaces without contraction
由: van Breugel, F, et al.
出版: (2007)

Distributed Distance Approximation
由: Ancona, B, et al.
出版: (2022)

On automated verification of probabilistic programs
由: Legay, A, et al.
出版: (2008)

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

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

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

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

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

Language equivalence for probabilistic automata
由: Kiefer, S, et al.
出版: (2011)

Algorithmic probabilistic game semantics
由: Kiefer, S, et al.
出版: (2013)

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

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

Differentials and distances in probabilistic coherence spaces
由: Thomas Ehrhard
出版: (2022-08-01)

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

On the Complexity of the Equivalence Problem for Probabilistic Automata
由: Kiefer, S, et al.
出版: (2012)

APEX: An analyzer for open probabilistic programs
由: Kiefer, S, et al.
出版: (2012)

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

When is containment decidable for probabilistic automata?
由: Daviaud, L, et al.
出版: (2018)

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

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