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

Documents Related by Co-Citation

776 Finite Markov Chains, D – J G Kemeny, J L Snell - 1960
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
67 Exact and Ordinary Lumpability in Finite Markov Chains – Peter Buchholz - 1994
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
87 It Usually Works: The Temporal Logic of Stochastic Systems – Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-vincentelli - 1995
247 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994
124 Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract) – Christel Baier, Joost-pieter Katoen, Holger Hermanns - 1999
597 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
47 Towards quantitative verification of probabilistic transition systems – F van Breugel, J Worrell - 2001
1202 Markov Decision Processes: Discrete Stochastic Dynamic Programming – M L Puterman - 1994
128 Model-checking algorithms for continuous-time Markov chains – Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen - 2003
51 Model Checking Continuous Time Markov Chains – Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert Brayton - 2000
578 Introduction to the Numerical Solution of Markov Chains – W J Stewart - 1994
69 Model checking continuous-time Markov chains by transient analysis – Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen - 2000
19 Bisimulation through probablistic testing – K G Larsen, A Skou - 1991
45 Metrics for Labelled Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2003
1173 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
85 The randomization technique as a modeling tool and solution procedure for transient Markov processes – D Gross, D R Miller - 1984