Keyphrases
- timed automata
- first order logic
- model checking
- computation tree logic
- reachability analysis
- theorem prover
- theorem proving
- expressive power
- real time systems
- temporal logic
- parametric models
- linear time temporal logic
- transitive closure
- situation calculus
- database
- inference rules
- reinforcement learning
- machine learning
- databases
- data sets