An Intrinsic Characterization of Approximate Probabilistic Bisimilarity (2003)

Cached

Download Links

by Franck Van Breugel , Michael Mislove , Joël Ouaknine , James Worrell
Venue:In: Proceedings of FOSSACS 03. LNCS
Citations:13 - 2 self

Active Bibliography

Testing for Simulation and Bisimulation in Labelled Markov Processes – Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
BISIMULATION METRICS FOR CONTINUOUS MARKOV DECISION PROCESSES – Norm Ferns, Prakash Panangaden, Doina Precup
1 An algorithm to quantify behavioural similarity between probabilistic systems – Babita Sharma - 2006
8 Metrics for Markov Decision Processes with Infinite State Spaces – Norm Ferns, et al. - 2005
9 A Logic for Probabilities in Semantics – M. Andrew Moshier, Achim Jung - 2003
22 Quantitative Relations and Approximate Process Equivalences – Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky - 2003
5 The Measurable Space of Stochastic Processes – Luca Cardelli, Radu Mardare - 2006
4 Possibilistic and Probabilistic Abstraction-Based Model Checking – Michael Huth - 2002
3 Knowledge transfer in markov decision processes (Technical Report – Caitlin Phillips, Joelle Pineau, Doina Precup, Prakash Panangaden - 2006
5 Methods for computing state similarity in markov decision processes – Norm Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden - 2006
2 Taking Chances on || and fail: Extending Strong and Probabilistic Bisimulation – J. I. Den Hartog, E. P. De Vink - 1999
14 The probabilistic powerdomain for stably compact spaces – Mauricio Alvarez-manilla, Achim Jung, Klaus Keimel
Almost Sure Bisimulation in Labelled Markov Processes – Vincent Danos, François Laviolette, Josée Desharnais, Université Laval, Prakash Panangaden - 2005
14 Weak Bisimulation is Sound and Complete for PCTL – Josee Desharnais, Vineet Gupta, Prakash Panangaden, Radha Jagadeesan - 2002
5 Semi-pullbacks and Bisimulation in Categories of Markov Processes – Abbas Edalat - 1999
3 Measuring the Confinement of Concurrent Probabilistic Systems – Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky - 2003
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998