Decision problems for pushdown threads.

Jan A. Bergstra Inge Bethke Alban Ponse

Published in: Acta Informatica (2007)

Keyphrases

decision problems
influence diagrams
utility function
decision model
computational complexity
optimal policy
optimal strategy
multiple criteria
model checking
decision processes
np hard
data mining
pspace complete
sequential decision making
decision analysis
multicriteria decision