Consistency in Parametric Interval Probabilistic Timed Automata.
Étienne AndréBenoît DelahayePaulin FournierPublished in: J. Log. Algebraic Methods Program. (2020)
Keyphrases
- timed automata
- model checking
- reachability analysis
- generative model
- probabilistic model
- theorem prover
- first order logic
- bayesian networks
- uncertain data
- imprecise probabilities
- probability theory
- data driven
- data sets
- theorem proving
- probabilistic reasoning
- probabilistic logic
- global consistency
- probability distribution
- learning algorithm
- information retrieval