Keyphrases
- timed automata
- model checking
- reachability analysis
- bayesian networks
- probabilistic model
- generative model
- real time systems
- belief networks
- data driven
- relative entropy
- uncertain data
- probabilistic reasoning
- real time
- information retrieval
- databases
- theorem proving
- theorem prover
- temporal logic
- machine learning
- website
- knowledge base