Metrics for Labeled Markov Systems
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 258-273
- https://doi.org/10.1007/3-540-48320-9_19
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Composition and behaviors of probabilistic I/O automataTheoretical Computer Science, 1997
- Robust timed automataPublished by Springer Nature ,1997
- UPPAAL — a tool suite for automatic verification of real-time systemsPublished by Springer Nature ,1996
- Axiomatizing Probabilistic Processes: ACP with Generative ProbabilitiesInformation and Computation, 1995
- Reactive, Generative, and Stratified Models of Probabilistic ProcessesInformation and Computation, 1995
- The complexity of probabilistic verificationJournal of the ACM, 1995
- Receptive process theoryActa Informatica, 1992
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Probabilistic propositional temporal logicsInformation and Control, 1986
- A probabilistic PDLJournal of Computer and System Sciences, 1985