Probabilistic bisimilarity distances

In a recent column, Panangaden discusses probabilistic bisimilarity. Here, we show how probabilistic bisimilarity can be quantitatively generalized leading to probabilistic bisimilarity distances.

[1]  James Worrell,et al.  An Accessible Approach to Behavioural Pseudometrics , 2005, ICALP.

[2]  Radha Jagadeesan,et al.  The metric analogue of weak bisimulation for probabilistic processes , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[3]  Kim Guldstrand Larsen,et al.  Specification and refinement of probabilistic processes , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[4]  Lise Getoor,et al.  Bisimulation-based Approximate Lifted Inference , 2009, UAI.

[5]  CohenJonathan Review of "Introduction to Lattices and Order by B. A. Davey and H. A. Priestley", Cambridge University Press , 2007 .

[6]  Scott A. Smolka,et al.  Algebraic Reasoning for Probabilistic Concurrent Systems , 1990, Programming Concepts and Methods.

[7]  Radha Jagadeesan,et al.  Metrics for Labeled Markov Systems , 1999, CONCUR.

[8]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[9]  James Worrell,et al.  On the Complexity of Computing Probabilistic Bisimilarity , 2012, FoSSaCS.

[10]  James Worrell,et al.  Testing Labelled Markov Processes , 2002, ICALP.

[11]  James Worrell,et al.  The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata , 2014, Horizons of the Mind.

[12]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[13]  Franck van Breugel,et al.  Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains , 2017, CONCUR.

[14]  Kim G. Larsen,et al.  On-the-Fly Exact Computation of Bisimilarity Distances , 2013, TACAS.

[15]  Yuxin Deng,et al.  The Kantorovich Metric in Computer Science: A Brief Survey , 2009, QAPL.

[16]  L. G. H. Cijan A polynomial algorithm in linear programming , 1979 .

[17]  Ezio Bartocci,et al.  Approximate Bisimulations for Sodium Channel Dynamics , 2012, CMSB.

[18]  Kim G. Larsen,et al.  Bisimulation through probabilistic testing (preliminary report) , 1989, POPL '89.

[19]  Prakash Panangaden,et al.  Probabilistic bisimulation , 2015, SIGL.

[20]  Kim G. Larsen,et al.  On the Metric-Based Approximate Minimization of Markov Chains , 2017, ICALP.

[21]  Franck van Breugel,et al.  Computing Probabilistic Bisimilarity Distances via Policy Iteration , 2016, CONCUR.

[22]  Michel A. Reniers,et al.  Results on Embeddings Between State-Based and Event-Based Systems , 2014, Comput. J..

[23]  Tom Chothia,et al.  Metrics for Action-labelled Quantitative Transition Systems , 2006, QAPL.