Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces.
Anca MuschollDoron A. PeledPublished in: MFCS (1999)
Keyphrases
- decision problems
- mazurkiewicz traces
- temporal logic
- influence diagrams
- decision model
- computational complexity
- model checking
- decision processes
- utility function
- np hard
- satisfiability problem
- optimal policy
- multiple criteria
- sequential decision making
- bounded treewidth
- partially observable
- optimal strategy
- bayesian decision problems
- pspace complete
- bandit problems
- sufficient conditions
- description logics
- np complete