Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.
Jeremy SprostonPublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- timed automata
- high speed
- power consumption
- belief networks
- joint probability
- conditional probabilities
- model checking
- bayesian networks
- machine learning
- duty cycle
- probability values
- information theoretic
- probability theory
- probability distribution
- probabilistic model
- information systems
- generative model
- data driven
- imprecise probabilities
- real time