Modal and mixed specifications: key decision problems and their complexities.
Adam AntonikMichael HuthKim G. LarsenUlrik NymanAndrzej WasowskiPublished in: Math. Struct. Comput. Sci. (2010)
Keyphrases
- decision problems
- influence diagrams
- decision model
- utility function
- computational complexity
- optimal strategy
- optimal policy
- decision processes
- bayesian decision problems
- multiple criteria
- np hard
- sequential decision making
- modal logic
- decision analysis
- pspace complete
- probabilistic inference
- finite state machines
- decision makers
- preference relations
- multi objective
- partially observable
- search algorithm
- learning algorithm