On the Difference Between Finite-State and Pushdown Depth.
Liam JordonPhilippe MoserPublished in: SOFSEM (2020)
Keyphrases
- finite state
- model checking
- markov chain
- markov decision processes
- optimal policy
- tree automata
- context free
- average cost
- temporal logic
- transition systems
- partially observable markov decision processes
- vector quantizer
- depth map
- policy iteration
- decision problems
- distributed systems
- state space
- finite state transducers
- data mining