Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant

Domaines

Informatique [cs] Mathématiques [math]

CCSD Sciencesconf.org  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03709703

Soumis le : jeudi 30 juin 2022-10:01:12

Dernière modification le : lundi 8 avril 2024-14:24:41

Fichier non déposé

Dates et versions

hal-03709703 , version 1 (30-06-2022)

Identifiants

  • HAL Id : hal-03709703 , version 1

Citer

Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot. Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant. Ecole Jeunes Chercheuses et Chercheurs en Informatique Mathématique, Maison de la Modélisation, de la Simulation et des Interactions [MSI], Jun 2022, Nice, France. ⟨hal-03709703⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-ADRIA IRIT-ACADIE IRIT-IA IRIT-FSL TOULOUSE-INP UNIV-UT3 EJCIM2022 UT3-TOULOUSEINP
62 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More