Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- real time systems
- temporal logic
- first order logic
- inference rules
- recursive algorithm
- databases
- recursive functions
- digital libraries
- search algorithm
- reinforcement learning
- image sequences
- inductive inference
- image processing
- web pages
- social networks