Keyphrases
- finite state
- markov chain
- model checking
- markov decision processes
- optimal policy
- formal semantics
- semantic information
- conceptual schema
- action sets
- average cost
- vector quantizer
- temporal logic
- query evaluation
- context free
- transition systems
- information retrieval
- partially observable markov decision processes
- tree automata
- decision problems