Skip to Main content Skip to Navigation
New interface
Conference papers

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

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03709703
Contributor : CCSD Sciencesconf.org Connect in order to contact the contributor
Submitted on : Thursday, June 30, 2022 - 10:01:12 AM
Last modification on : Tuesday, August 30, 2022 - 3:49:14 AM

Identifiers

  • HAL Id : hal-03709703, version 1

Citation

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⟩

Share

Metrics

Record views

25