On computational tractability for rational verification
Rational verification involves checking which temporal logic properties hold of a concurrent/multiagent system, under the assumption that agents in the system choose strategies in game theoretic equilibrium. Rational verification can be understood as a counterpart of model checking for multiagent sy...
Κύριοι συγγραφείς: | Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M |
---|---|
Μορφή: | Conference item |
Έκδοση: |
International Joint Conferences on Artificial Intelligence
2019
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
On the complexity of rational verification
ανά: Gutierrez, J, κ.ά.
Έκδοση: (2022) -
Rational verification: game-theoretic verification of multi-agent systems
ανά: Abate, A, κ.ά.
Έκδοση: (2021) -
Rational verification: from model checking to equilibrium checking
ανά: Wooldridge, M, κ.ά.
Έκδοση: (2016) -
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
ανά: Gutierrez, J, κ.ά.
Έκδοση: (2020) -
Iterated Boolean games for rational verification
ανά: Gutierrez, J, κ.ά.
Έκδοση: (2017)