Symbolic verification of multiagent graphical decision models (Q3548689)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic verification of multiagent graphical decision models |
scientific article |
Statements
Symbolic verification of multiagent graphical decision models (English)
0 references
17 December 2008
0 references
multiply sectioned influence diagrams
0 references
hyper relevance graph
0 references
