Finite State Implementations of Knowledge-Based Programs.
Ron van der MeydenPublished in: FSTTCS (1996)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- optimal policy
- transition systems
- context free
- tree automata
- search algorithm
- state space
- average cost
- partially observable markov decision processes
- continuous time bayesian networks
- action sets
- policy iteration
- image compression
- dynamic programming