Finite-State Recognizability and Logic: from Words to Graphs.
Wolfgang ThomasPublished in: IFIP Congress (1) (1994)
Keyphrases
- finite state
- markov chain
- transition systems
- model checking
- markov decision processes
- optimal policy
- model checker
- modal logic
- word sense disambiguation
- context free
- graph matching
- tree automata
- partially observable markov decision processes
- n gram
- action sets
- average cost
- information retrieval
- continuous time bayesian networks
- vector quantizer
- state space
- dynamic programming
- reinforcement learning