Stochastic Transition Systems for Continuous State Spaces and Non-determinism-Reference-Cited by-同舟云学术

Stochastic Transition Systems for Continuous State Spaces and Non-determinism

Published:2005 Issue: Volume: Page:125-139
ISSN:0302-9743
Container-title:Foundations of Software Science and Computational Structures
language:
Short-container-title:

Author:

Cattani Stefano,Segala Roberto,Kwiatkowska Marta,Norman Gethin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31982-5_8.pdf

Reference25 articles.

1. Alfaro, L.d.: Formal Verification of Probabilistic Systems. PhD thesis, Stanford University, Available as Technical report STAN-CS-TR-98-1601 (1997)

2. Ash, R.B.: Real Analysis and Probability. Academic Press, London (1972)

3. Lecture Notes in Computer Science;C. Baier,1997

4. Bravetti, M.: Specification and Analysis of Stochastic Real-Time Systems. PhD thesis, Università di Bologna, Padova, Venezia (2002)

5. Lecture Notes in Computer Science;M. Bravetti,2004

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A return to stochasticity and probability in spiking neural P systems;Journal of Membrane Computing;2021-03-16

2. Bisimulations, logics, and trace distributions for stochastic systems with rewards;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11

3. Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces;Theoretical Aspects of Computing – ICTAC 2018;2018

4. Compositional Bisimulation Minimization for Interval Markov Decision Processes;Language and Automata Theory and Applications;2016

5. Exploiting Robust Optimization for Interval Probabilistic Bisimulation;Quantitative Evaluation of Systems;2016