FSM-Hume is finite state.
Greg MichaelsonKevin HammondJocelyn SérotPublished in: Trends in Functional Programming (2003)
Keyphrases
- finite state
- finite state machines
- model checking
- markov chain
- markov decision processes
- average cost
- optimal policy
- context free
- action sets
- vector quantizer
- transition systems
- tree automata
- partially observable markov decision processes
- continuous time bayesian networks
- temporal logic
- stationary policies
- search algorithm
- reinforcement learning
- data mining