Probabilistic Timed Automata with Clock-Dependent Probabilities.
Jeremy SprostonPublished in: RP (2017)
Keyphrases
- timed automata
- model checking
- belief networks
- probability theory
- reachability analysis
- joint probability
- probabilistic model
- power consumption
- conditional probabilities
- bayesian networks
- high speed
- probability functions
- prior probabilities
- probabilistic reasoning
- theorem proving
- theorem prover
- data driven
- imprecise probabilities
- information theoretic
- probabilistic approaches
- neural network
- probability values
- occurrence probability
- probabilistic logic
- distributed systems
- probability distribution
- data streams
- case study
- information retrieval
- machine learning