Keyphrases
- reachability analysis
- model checking
- markov decision processes
- timed automata
- rewriting rules
- incremental algorithms
- state space
- query rewriting
- rewrite rules
- conjunctive queries
- temporal logic
- queries using views
- steady state
- optimal policy
- computational complexity
- natural language
- artificial intelligence
- data mining