Conference Papers
Year : 2022
CCSD Sciencesconf.org : Connect in order to contact the contributor
https://hal.science/hal-03709703
Submitted on : Thursday, June 30, 2022-10:01:12 AM
Last modification on : Monday, November 20, 2023-11:44:22 AM
Dates and versions
Identifiers
- HAL Id : hal-03709703 , version 1
Cite
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⟩
Collections
45
View
0
Download