Probabilistic Timed Automata with Clock-Dependent Probabilities.
Jeremy SprostonPublished in: Fundam. Informaticae (2021)
Keyphrases
- timed automata
- probability theory
- model checking
- reachability analysis
- belief networks
- joint probability
- uncertain data
- conditional probabilities
- imprecise probabilities
- bayesian networks
- high speed
- probabilistic model
- probability values
- theorem prover
- theorem proving
- generative model
- power consumption
- case study
- probability measure
- probabilistic logic
- probabilistic reasoning
- data driven
- real time systems
- state space
- prior probabilities
- probability function
- probability distribution
- maximum entropy
- posterior probability
- first order logic