A solution of an interleaving decision problem by a partial order technique.
Albert R. MeyerAlexander Moshe RabinovichPublished in: Partial Order Methods in Verification (1996)
Keyphrases
- partial order
- decision problems
- partially ordered
- total order
- influence diagrams
- decision model
- preference relations
- multicriteria decision
- utility function
- decision processes
- maximum weight
- computational complexity
- np hard
- lattice structure
- sequential patterns
- optimal policy
- partial ordering
- causal links
- data exchange
- reinforcement learning