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


Download Links

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

Active Bibliography

826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
338 On the impossibility of informationally efficient markets – J. Grossman, Joseph E. Stiglitz, J. Grossman, Joseph, E. Stiglitz - 1980
1 Approximating Markov Processes By Averaging – Philippe Chaput, Gordon Plotkin
178 Stochastic Completion Fields: A Neural Model of Illusory Contour Shape and Salience – Lance R. Williams, David W. Jacobs - 1995
145 Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach – Marta Kwiatkowska, Gethin Norman, David Parker - 2002
136 Bisimulation for Labelled Markov Processes – Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden - 1997
46 Metrics for Labelled Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2003
17 Model Checking Discounted Temporal Properties – Luca De Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, et al.
34 Verifying quantitative properties of continuous probabilistic timed automata – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 2000