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

書誌詳細
主要な著者:	van Breugel, F, Worrell, J
フォーマット:	Journal article
言語:	English
出版事項:	2006

類似資料

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)

On the Complexity of Computing Probabilistic Bisimilarity
著者:: Chen, D, 等
出版事項: (2012)

The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
著者:: van Breugel, F, 等
出版事項: (2014)

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)

Computing Distances between Probabilistic Automata
著者:: Mathieu Tracol, 等
出版事項: (2011-07-01)

Compositionality of Approximate Bisimulation for Probabilistic Systems
著者:: Daniel Gebler, 等
出版事項: (2013-07-01)

Measuring Progress of Probabilistic LTL Model Checking
著者:: Elise Cormie-Bowins, 等
出版事項: (2012-07-01)

Anytime approximation in probabilistic databases
著者:: Fink, R, 等
出版事項: (2013)

Measuring the probabilistic powerdomain
著者:: Martin, K, 等
出版事項: (2002)

Measuring the probabilistic powerdomain
著者:: Martin, K, 等
出版事項: (2002)

Probabilistic model checking of randomized Java code
著者:: Fatmi, SZ, 等
出版事項: (2021)

Probabilistic Updating of Structural Models for Damage Assessment Using Approximate Bayesian Computation
著者:: Zhouquan Feng, 等
出版事項: (2020-06-01)

Probabilistic automata of bounded ambiguity
著者:: Fijalkow, N, 等
出版事項: (2017)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
著者:: Wenjie Du, 等
出版事項: (2022-12-01)

Minimising the probabilistic bisimilarity distance
著者:: Kiefer, S, 等
出版事項: (2024)

Probabilistic route reliability with distance
著者:: Sargolzaey, Hadi, 等
出版事項: (2010)

Application of a computationally efficient method to approximate gap model results with a probabilistic approach
著者:: M. Scherstjanoi, 等
出版事項: (2014-07-01)

Recursively defined metric spaces without contraction
著者:: van Breugel, F, 等
出版事項: (2007)

Distributed Distance Approximation
著者:: Ancona, B, 等
出版事項: (2022)

On automated verification of probabilistic programs
著者:: Legay, A, 等
出版事項: (2008)

Approximate reasoning for real-time probabilistic processes
著者:: Vineet Gupta, 等
出版事項: (2006-03-01)

Sound approximate and asymptotic probabilistic bisimulations for PCTL
著者:: Massimo Bartoletti, 等
出版事項: (2023-03-01)

Approximating Probabilistic Models as Weighted Finite Automata
著者:: Ananda Theertha Suresh, 等
出版事項: (2021-06-01)

Synaptic and Nonsynaptic Plasticity Approximating Probabilistic Inference
著者:: Philip Joseph Tully, 等
出版事項: (2014-04-01)

Informative and adaptive distances and summary statistics in sequential approximate Bayesian computation.
著者:: Yannik Schälte, 等
出版事項: (2023-01-01)

Language equivalence for probabilistic automata
著者:: Kiefer, S, 等
出版事項: (2011)

Algorithmic probabilistic game semantics
著者:: Kiefer, S, 等
出版事項: (2013)

Application of piecewise-linear approximation of probabilistic-time characteristics of queuing systems
著者:: I. L. Krikunov, 等
出版事項: (2020-12-01)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
著者:: Kwiatkowska, M, 等
出版事項: (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, 等
出版事項: (2023-01-01)

On the Complexity of the Equivalence Problem for Probabilistic Automata
著者:: Kiefer, S, 等
出版事項: (2012)

APEX: An analyzer for open probabilistic programs
著者:: Kiefer, S, 等
出版事項: (2012)

Approximability of the discrete Fréchet distance
著者:: Karl Bringmann, 等
出版事項: (2015-12-01)

When is containment decidable for probabilistic automata?
著者:: Daviaud, L, 等
出版事項: (2018)

Probabilistic state synthesis based on optimal convex approximation
著者:: Seiseki Akibue, 等
出版事項: (2024-01-01)

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