Rational verification: game-theoretic verification of multi-agent systems

We provide a survey of the state of the art of rational verification: the problem of checking whether a given temporal logic formula ϕ is satisfied in some or all game-theoretic equilibria of a multi-agent system – that is, whether the system will exhibit the behavior ϕ represents under the assumpti...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy: Abate, A, Gutierrez, J, Hammond, L, Harrenstein, P, Kwiatkowska, M, Najib, M, Perelli, G, Steeples, T, Wooldridge, M
Format: Journal article
Język:English
Wydane: Springer 2021