Performance Analysis of Probabilistic Timed Automata Using Digital Clocks
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- PRISM: Probabilistic Symbolic Model CheckerPublished by Springer Nature ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Efficient Guiding Towards Cost-Optimality in UPPAALPublished by Springer Nature ,2001
- Optimal Paths in Weighted Timed AutomataPublished by Springer Nature ,2001
- Minimum-Cost Reachability for Priced Time AutomataPublished by Springer Nature ,2001
- Computing Minimum and Maximum Reachability Times in Probabilistic SystemsPublished by Springer Nature ,1999
- Model checking of probabilistic and nondeterministic systemsPublished by Springer Nature ,1995
- What good are digital clocks?Published by Springer Nature ,1992
- An Analysis of Stochastic Shortest Path ProblemsMathematics of Operations Research, 1991
- Denumerable Markov ChainsPublished by Springer Nature ,1976