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.