Nonaxiomatisability of Equivalences over Finite State Processes.
Peter SewellPublished in: Ann. Pure Appl. Log. (1997)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- tree automata
- partially observable markov decision processes
- vector quantizer
- optimal policy
- action sets
- average cost
- continuous time markov process
- continuous time bayesian networks
- state space
- stochastic processes
- image compression
- natural language processing
- optimal solution
- reinforcement learning