Decision Problems for Deterministic Pushdown Automata on Infinite Words.
Christof LödingPublished in: AFL (2014)
Keyphrases
- decision problems
- regular languages
- influence diagrams
- utility function
- decision model
- computational complexity
- optimal policy
- finite state automaton
- regular expressions
- np hard
- optimal strategy
- decision processes
- finite automata
- bayesian decision problems
- bandit problems
- turing machine
- partially observable
- multicriteria decision
- decision theory
- sequential decision making
- learning algorithm
- finite state
- model checking
- reinforcement learning