Login / Signup
The complexity of a counting finite-state automation.
Craig A. Rich
Giora Slutzki
Published in:
Acta Cybern. (1990)
Keyphrases
</>
finite state
markov chain
markov decision processes
model checking
optimal policy
decision problems
vector quantizer
partially observable markov decision processes
computational complexity
temporal logic
average cost
context free
transition systems
action sets
information retrieval
image compression