Sign in

A Finite State Version of the Kraft--McMillan Theorem.

Frédérique BassinoMarie-Pierre BéalDominique Perrin
Published in: SIAM J. Comput. (2000)
Keyphrases
  • finite state
  • markov chain
  • markov decision processes
  • model checking
  • optimal policy
  • average cost
  • tree automata
  • transition systems
  • vector quantizer
  • data mining
  • information extraction
  • policy iteration
  • action sets