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)

Computing probabilistic bisimilarity distances for probabilistic automata
द्वारा: Bacci, G, और अन्य
प्रकाशित: (2021)

Deciding probabilistic bisimilarity distance one for probabilistic automata
द्वारा: Tang, Q, और अन्य
प्रकाशित: (2020)

On the Complexity of Computing Probabilistic Bisimilarity
द्वारा: Chen, D, और अन्य
प्रकाशित: (2012)

The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
द्वारा: van Breugel, F, और अन्य
प्रकाशित: (2014)

Probabilistic route reliability with distance
द्वारा: Sargolzaey, Hadi, और अन्य
प्रकाशित: (2010)

Minimising the probabilistic bisimilarity distance
द्वारा: Kiefer, S, और अन्य
प्रकाशित: (2024)

Distributed Distance Approximation
द्वारा: Ancona, B, और अन्य
प्रकाशित: (2022)

Anytime approximation in probabilistic databases
द्वारा: Fink, R, और अन्य
प्रकाशित: (2013)

Probabilistic model checking of randomized Java code
द्वारा: Fatmi, SZ, और अन्य
प्रकाशित: (2021)

Approximation algorithms for min-distance problems
द्वारा: Williams, Virginia Vassilevska, और अन्य
प्रकाशित: (2021)

Bisimilarity distances for approximate differential privacy
द्वारा: Chistikov, D, और अन्य
प्रकाशित: (2018)

Asymmetric distances for approximate differential privacy
द्वारा: Chistikov, D, और अन्य
प्रकाशित: (2019)

Measuring the probabilistic powerdomain
द्वारा: Martin, K, और अन्य
प्रकाशित: (2002)

Measuring the probabilistic powerdomain
द्वारा: Martin, K, और अन्य
प्रकाशित: (2002)

Massively Parallel Algorithms for Distance Approximation and Spanners
द्वारा: Biswas, Amartya Shankha, और अन्य
प्रकाशित: (2022)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2016)

Probabilistic automata of bounded ambiguity
द्वारा: Fijalkow, N, और अन्य
प्रकाशित: (2017)

Approximate counting in SMT and value estimation for probabilistic programs
द्वारा: Chistikov, D, और अन्य
प्रकाशित: (2017)

On automated verification of probabilistic programs
द्वारा: Legay, A, और अन्य
प्रकाशित: (2008)

Recursively defined metric spaces without contraction
द्वारा: van Breugel, F, और अन्य
प्रकाशित: (2007)

Efficient and private distance approximation in the communication and streaming models
द्वारा: Woodruff, David Paul, 1980-
प्रकाशित: (2008)

Language equivalence for probabilistic automata
द्वारा: Kiefer, S, और अन्य
प्रकाशित: (2011)

Algorithmic probabilistic game semantics
द्वारा: Kiefer, S, और अन्य
प्रकाशित: (2013)

Natively probabilistic computation
द्वारा: Mansinghka, Vikash Kumar
प्रकाशित: (2009)

Efficient distributed approximation algorithms via probabilistic tree embeddings
द्वारा: Khan, Maleq., और अन्य
प्रकाशित: (2013)

Evaluation of relational algebra queries on probabilistic databases: tractability and approximation
द्वारा: Fink, RD
प्रकाशित: (2014)

Fast, Approximate State Estimation of Concurrent Probabilistic Hybrid Automata
द्वारा: Timmons, Eric
प्रकाशित: (2018)

Fast, approximate state estimation of concurrent probabilistic hybrid automata
द्वारा: Timmons, Eric (Eric M.)
प्रकाशित: (2013)

On the Complexity of the Equivalence Problem for Probabilistic Automata
द्वारा: Kiefer, S, और अन्य
प्रकाशित: (2012)

APEX: An analyzer for open probabilistic programs
द्वारा: Kiefer, S, और अन्य
प्रकाशित: (2012)

Approximating the double-cut-and-join distance between unsigned genomes
द्वारा: Chen, Xin, और अन्य
प्रकाशित: (2013)

Fast Contour Matching Using Approximate Earth Mover's Distance
द्वारा: Grauman, Kristen, और अन्य
प्रकाशित: (2004)

Fast Contour Matching Using Approximate Earth Mover's Distance
द्वारा: Grauman, Kristen, और अन्य
प्रकाशित: (2005)

On the approximation of independent pairs in diffusion kinetics: correlation of distances in a three-body system
द्वारा: Al-Samra, EH, और अन्य
प्रकाशित: (2018)

When is containment decidable for probabilistic automata?
द्वारा: Daviaud, L, और अन्य
प्रकाशित: (2018)

Physical distancing system using computer vision
द्वारा: Kartikawati, Lili, और अन्य
प्रकाशित: (2021)

Interpreting lion behaviour with nonparametric probabilistic programs
द्वारा: Dhir, N, और अन्य
प्रकाशित: (2017)

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
द्वारा: Baier, C, और अन्य
प्रकाशित: (2022)

Probabilistic error analysis for some approximation schemes to optimal control problems
द्वारा: Picarelli, A, और अन्य
प्रकाशित: (2020)