Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.
Jeremy SprostonPublished in: CoRR (2020)
Keyphrases
- timed automata
- high speed
- power consumption
- duty cycle
- model checking
- probability theory
- probabilistic model
- bayesian networks
- belief networks
- probability distribution
- artificial intelligence
- conditional probabilities
- theorem proving
- joint probability
- neural network
- real time
- generative model
- first order logic
- database
- machine learning
- reachability analysis
- imprecise probabilities