OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Formal Study of Boolean Games with Random Formulas as Payoff Functions

Martin-Dorel, Erik and Soloviev, Sergei A Formal Study of Boolean Games with Random Formulas as Payoff Functions. (2018) In: 22nd International Conference on Types for Proofs and Programs (TYPES 2016), 23 May 2016 - 26 May 2016 (Novi Sad, Serbia).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
671kB

Official URL: https://doi.org/10.4230/LIPIcs.TYPES.2016.14

Abstract

A probabilistic analysis of Boolean games is presented. The class of Boolean games with payoff functions given by random Boolean formulas is studied. This permits to study certain properties of this class in its totality, such as the probability of the existence of a winning strategy, including its asymptotic behavior. With the help of the Coq proof assistant, we develop a Coq library of Boolean games, to provide a formal proof of our results, and a basis for future development.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-02651342
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Funders:
CIMI : Centre International de Mathématiques et Informatique de Toulouse (France)
Statistics:download
Deposited On:22 Apr 2020 10:12

Repository Staff Only: item control page