Pierre Pomeret-Coquot

According to our database, Pierre Pomeret-Coquot authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Games of incomplete information: A framework based on belief functions.

Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel

Int. J. Approx. Reason., 2022