An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information.
Saved in:
| Title: | An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. |
|---|---|
| Authors: | Belardinelli, Francesco1,2, Ferrando, Angelo3, Malvone, Vadim1,4, vadim.malvone@telecom-paris.fr |
| Source: | Artificial Intelligence; Mar2023, Vol. 316, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00043702 |
|---|---|
| DOI: | 10.1016/j.artint.2022.103847 |
