Continuous Stochastic Logic Characterizes Bisimulation of Continuous-time Markov Processes (2002)

Cached

Download Links

by Josée Desharnais , Prakash Panangaden
Venue:J. of Logic and Alg. Progr
Citations:15 - 3 self

Active Bibliography

Approximating Markov Processes By Averaging – Philippe Chaput, Gordon Plotkin
1 PCTL model checking of symbolic probabilistic systems – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston - 2003
17 Model Checking Discounted Temporal Properties – Luca De Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, et al.
1 An algorithm to quantify behavioural similarity between probabilistic systems – Babita Sharma - 2006
1 Algorithms for Game Metrics – Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman - 2008
2 GAME REFINEMENT RELATIONS AND METRICS – Luca de Alfaro , Rupak Majumdar , Vishwanath Raman , Marielle Stoelinga - 2008
3 An approximation algorithm for labelled Markov processes: towards realistic approximation – Re Bouchard-côté, Norm Ferns, Prakash Panangaden, Doina Precup, Montréal Québec - 2005
7 Approximating a behavioural pseudometric without discount – Franck Van Breugel, Babita Sharma, James Worrell
AND MARIËLLE STOELINGA 4 – Luca De Alfaro, Rupak Majumdar, Vishwanath Raman - 806
1 Algorithms for Game Metrics (Full Version) ∗ – Krishnendu Chatterjee, Luca Alfaro, Rupak Majumdar, Vishwanath Raman - 809
9 Game relations and metrics – Luca De Alfaro, Rupak Majumdar, Mariëlle Stoelinga - 2007
8 Metrics for Markov Decision Processes with Infinite State Spaces – Norm Ferns, et al. - 2005
Almost Sure Bisimulation in Labelled Markov Processes – Vincent Danos, François Laviolette, Josée Desharnais, Université Laval, Prakash Panangaden - 2005
13 An Intrinsic Characterization of Approximate Probabilistic Bisimilarity – Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
45 Metrics for Labelled Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2003
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
12 Stochastic transition systems for continuous state spaces and non-determinism – Stefano Cattani, Roberto Segala, Marta Kwiatkowska, Gethin Norman - 2005
7 Probabilistic Relations – Prakash Panangaden - 1998
33 Verifying quantitative properties of continuous probabilistic timed automata – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 2000