Login / Signup
A general approach to comparing infinite-state systems with their finite-state specifications.
Antonín Kucera
Philippe 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