A Note on Game Theory and Verification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

A Note on Game Theory and Verification

Résumé

We present some basics of game theory, focusing on matrix games. We then present the model of multiplayer stochastic concurrent games (with an underlying graph), which extends standard finite-state models used in verification in a multiplayer and concurrent setting; we explain why the basic theory cannot apply to that general model. We then focus on a very simple setting, and explain and give intuitions for the computation of Nash equilibria. We then give a number of undecidability results, giving limits to the approach. Finally we describe the suspect game construction, which (we believe) captures and explains well Nash equilibria and allow to compute them in many cases.
Fichier principal
Vignette du fichier
atva19.pdf (419.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02352524 , version 1 (06-11-2019)

Identifiants

Citer

Patricia Bouyer. A Note on Game Theory and Verification. 17th International Symposium Automated Technology for Verification and Analysis (ATVA'19), Oct 2019, Taipei, Taiwan. pp.3-22, ⟨10.1007/978-3-030-31784-3_1⟩. ⟨hal-02352524⟩
35 Consultations
581 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More