Determination of the Final State of an Automaton Whose Initial State Is Unknown.

Chung Laung Liu

Published in: IEEE Trans. Electron. Comput. (1963)

Keyphrases

initial state
state space
situation calculus
action sequences
optimal policy
stationary distribution
belief space
goal state
finite state machines
action theories
markov decision process
reinforcement learning
probability distribution