Performance analysis of probabilistic timed automata using digital clocks.
Marta Z. KwiatkowskaGethin NormanDavid ParkerJeremy SprostonPublished in: Formal Methods Syst. Des. (2006)
Keyphrases
- timed automata
- model checking
- reachability analysis
- probabilistic model
- probabilistic logic
- generative model
- theorem prover
- bayesian networks
- theorem proving
- uncertain data
- probabilistic networks
- real time systems
- information theoretic
- real time
- probabilistic reasoning
- digital media
- multiscale
- case study
- decision trees
- digital technologies
- information systems
- machine learning