Finite state complexity.

Cristian S. Calude Kai Salomaa Tania Roblot

Published in: Theor. Comput. Sci. (2011)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
computational complexity
vector quantizer
average cost
tree automata
action sets
information retrieval
decision problems
temporal logic
state space
multistage