Rational verification: game-theoretic verification of multi-agent systems.
Saved in:
| Title: | Rational verification: game-theoretic verification of multi-agent systems. |
|---|---|
| Authors: | Abate, Alessandro1, Gutierrez, Julian2, Hammond, Lewis1, Harrenstein, Paul1, Kwiatkowska, Marta1, Najib, Muhammad3, Perelli, Giuseppe4, Steeples, Thomas1, Wooldridge, Michael1, mjw@cs.ox.ac.uk |
| Source: | Applied Intelligence; Sep2021, Vol. 51 Issue 9, p6569-6584, 16p |
| Database: | Applied Science & Technology Source |
| ISSN: | 0924669X |
|---|---|
| DOI: | 10.1007/s10489-021-02658-y |
