Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant - Archive ouverte HAL
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 : vendredi 17 mai 2024-15:44:55

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 (EJCIM 2022), GDR Informatique Mathématique, 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
99 Consultations
0 Téléchargements

Partager

More