Login / Signup

A general approach to comparing infinite-state systems with their finite-state specifications.

Antonín KuceraPhilippe Schnoebelen
Published in: Theor. Comput. Sci. (2006)
Keyphrases
  • finite state
  • markov chain
  • model checking
  • transition systems
  • retrieval systems
  • markov decision processes
  • multistage
  • dynamic programming
  • natural language processing
  • formal specification
  • tree automata