On the complexity of rational verification
Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent/multiagent system, under the assumption that agents in the system choose strategies that form a game theoretic equilibrium. Rational verification can be understood as a counterpart to model c...
Main Authors: | Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Springer
2022
|
Similar Items
-
On computational tractability for rational verification
by: Gutierrez, J, et al.
Published: (2019) -
Rational verification: game-theoretic verification of multi-agent systems
by: Abate, A, et al.
Published: (2021) -
Rational verification: from model checking to equilibrium checking
by: Wooldridge, M, et al.
Published: (2016) -
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
by: Gutierrez, J, et al.
Published: (2020) -
Iterated Boolean games for rational verification
by: Gutierrez, J, et al.
Published: (2017)