Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant - Archive ouverte HAL Access content directly
Conference Papers Year : 2022
No file

Dates and versions

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

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⟩
45 View
0 Download

Share

Gmail Facebook X LinkedIn More