Consistency in Parametric Interval Probabilistic Timed Automata.
Étienne AndréBenoît DelahayePublished in: TIME (2016)
Keyphrases
- timed automata
- model checking
- reachability analysis
- data driven
- probabilistic model
- theorem prover
- real time systems
- learning algorithm
- bayesian networks
- generative model
- theorem proving
- real time
- probabilistic reasoning
- parametric models
- machine learning
- uncertain data
- information theoretic
- first order logic
- expert systems
- image sequences
- information retrieval
- interval data
- database