Performance Analysis of Probabilistic Timed Automata Using Digital Clocks.
Marta Z. KwiatkowskaGethin NormanDavid ParkerJeremy SprostonPublished in: FORMATS (2003)
Keyphrases
- timed automata
- model checking
- probabilistic model
- reachability analysis
- bayesian networks
- probabilistic logic
- theorem prover
- genetic algorithm
- data driven
- uncertain data
- generative model
- first order logic
- digital media
- real time systems
- information retrieval
- digital technologies
- probability theory
- theorem proving
- image processing
- multimedia
- video sequences