Finite State Incompressible Infinite Sequences.
Cristian S. CaludeLudwig StaigerFrank StephanPublished in: TAMC (2014)
Keyphrases
- finite state
- markov chain
- model checking
- markov decision processes
- optimal policy
- hidden markov models
- tree automata
- partially observable markov decision processes
- information retrieval
- action sets
- deformable models
- left ventricle
- policy iteration
- context free
- probabilistic context free grammars
- concurrent systems
- average cost
- temporal logic
- language model
- similarity measure