Stochastic transition systems for continuous state spaces and non-determinism (2005)

Cached

Download Links

by Stefano Cattani , Roberto Segala , Marta Kwiatkowska , Gethin Norman
Venue:In FoSSaCS’05, LNCS 3441
Citations:8 - 3 self

Documents Related by Co-Citation

120 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
233 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
371 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
8 Bisimulation and cocongruence for probabilistic systems – V Danos, J Desharnais, F Laviolette, P Panangaden
4 Comparative analysis of bisimulation relations on alternating and non-alternating probabilistic models – Roberto Segala, Andrea Turrini - 2005
190 Modeling and Verification of Randomized Distributed Real-Time Systems – R Segala - 1995
47 Interactive Markov Chains: The Quest for Quantified Quality – H Hermanns - 2002
9 P.: Tutte le algebre insieme – concepts, discussions and relations of stochastic process algebras with general distributions – M Bravetti, D’Argenio
33 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
3 Axiomatisations and types for probabilistic and mobile processes – Y Deng - 2005
15 Decision Algorithms for Probabilistic Bisimulation – Stefano Cattani, Roberto Segala - 2002
141 Time and probability in formal design of distributed systems – H Hansson - 1991
32 Weak bisimulation for probabilistic systems – Anna Philippou, Insup Lee, Oleg Sokolsky - 2000
144 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
79 Specification and refinement of probabilistic processes – B Jonsson, K Larsen - 1991
4 Domain theory, testing and simulation for labelled markov processes. Theoretical Computer Science, 2005. 204 Franck van Breugel and James Worrell. An algorithm for quantitative verification of probabilistic transition systems – F van Breugel, M W Mislove, J Ouaknine, J Worrell - 2001
19 Axioms for Probability and Nondeterminism – Michael Mislove, Joël Ouaknine, James Worrell - 2003
36 Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston - 2000
113 PRISM: A tool for automatic verification of probabilistic systems – Andrew Hinton, Marta Kwiatkowska, Gethin Norman, David Parker - 2006