Probabilistic Timed Automata with Clock-Dependent Probabilities.
Jeremy SprostonPublished in: CoRR (2017)
Keyphrases
- timed automata
- model checking
- probability theory
- reachability analysis
- belief networks
- bayesian networks
- conditional probabilities
- probabilistic model
- high speed
- theorem prover
- probability distribution
- probability values
- joint probability
- prior probabilities
- probabilistic logic
- theorem proving
- posterior probability
- decision theory
- generative model
- distributed systems
- probability function
- real time
- probability functions
- imprecise probabilities
- probabilistic approaches
- probabilistic reasoning
- belief functions
- neural network
- data sets