On Decision Problems for Probabilistic Büchi Automata.
Christel BaierNathalie BertrandMarcus GrößerPublished in: FoSSaCS (2008)
Keyphrases
- decision problems
- influence diagrams
- regular languages
- utility function
- optimal strategy
- decision processes
- decision model
- computational complexity
- multiple criteria
- optimal policy
- np hard
- partially observable
- probabilistic model
- regular expressions
- special case
- bayesian decision problems
- bandit problems
- minimax regret
- bayesian networks
- tree automata
- finite automata
- probability theory
- preference relations
- query language
- finite state machines