1 search result for "author:"Erik Martin-Dorel""

Showing 1 - 1
  1. coq-belgames

    No documentation

    BelGames: A Formal Theory of Games of Incomplete Information Based on Non-Monotonic Capacities in the Coq Proof Assistant
    keyword:games of incomplete information keyword:belief functions theory keyword:imprecise probability theory category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms logpath:BelGames date:2023-11-26
    Pierre Pomeret-Coquot Erik Martin-Dorel Hélène Fargier
    2.0.0
    MIT
    Used by 0 other packages
    06 Nov 2023