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...
Egile Nagusiak: | Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M |
---|---|
Formatua: | Journal article |
Hizkuntza: | English |
Argitaratua: |
Springer
2022
|
Antzeko izenburuak
-
On computational tractability for rational verification
nork: Gutierrez, J, et al.
Argitaratua: (2019) -
Rational verification: game-theoretic verification of multi-agent systems
nork: Abate, A, et al.
Argitaratua: (2021) -
Rational verification: from model checking to equilibrium checking
nork: Wooldridge, M, et al.
Argitaratua: (2016) -
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
nork: Gutierrez, J, et al.
Argitaratua: (2020) -
Iterated Boolean games for rational verification
nork: Gutierrez, J, et al.
Argitaratua: (2017)