|
|||||
|
|
Symbolic verification of multiagent graphical decision models |
|
| Authors: | Yifeng Zeng Kim‐leng Poh |
| Affiliation: | 1. Department of Computer Science, Aalborg University, Aalborg, Denmark;2. Department of Industrial and Systems Engineering, National University of Singapore, Singapore |
| Abstract: | |
| Keywords: | |