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:12 - 1 self

Active Bibliography

PCTL model checking of symbolic probabilistic systems – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston - 2003
10 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
3 Approximating a behavioural pseudometric without discount – Franck Van Breugel, Babita Sharma, James Worrell
1 Algorithms for Game Metrics – Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman - 2008
2 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
2 GAME REFINEMENT RELATIONS AND METRICS – Luca de Alfaro , Rupak Majumdar , Vishwanath Raman , Marielle Stoelinga - 2008
5 Game relations and metrics – Luca De Alfaro, Rupak Majumdar, Mariëlle Stoelinga - 2007
6 Metrics for Markov Decision Processes with Infinite State Spaces – Norm Ferns, et al. - 2005
11 An Intrinsic Characterization of Approximate Probabilistic Bisimilarity – Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
36 Metrics for Labelled Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2003
8 Stochastic transition systems for continuous state spaces and non-determinism – Stefano Cattani, Roberto Segala, Marta Kwiatkowska, Gethin Norman - 2005
5 Probabilistic Relations – Prakash Panangaden - 1998
25 Stochastic processes as concurrent constraint programs – Vineet Gupta, Radha Jagadeesan, Prakash Panangaden - 1999
29 Verifying quantitative properties of continuous probabilistic timed automata – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 2000
N I S – Kim C. Border, Paolo Ghirardato
12 Probabilistic KLAIM – Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky - 2004
11 Quantitative Observables and Averages in Probabilistic Constraint Programming – Alessandra Di Pierro, Herbert Wiklicky - 1999
11 Verifying Probabilistic Programs Using A Hoare Like Logic – J. I. Den Hartog, E. P. De Vink - 2002