-
Notifications
You must be signed in to change notification settings - Fork 1
/
meta.yml
94 lines (78 loc) · 2.37 KB
/
meta.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
---
fullname: A Formal Theory of Games of Incomplete Information Based on Belief Functions
shortname: belgames
organization: pPomCo
community: false
branch: main
action: true
nix: false
coqdoc: false
dune: false
# doi: TODO
synopsis: >-
BelGames: A Formal Theory of Games of Incomplete Information Based
on Belief Functions in the Coq Proof Assistant
description: |-
We extend Bayesian games to the theory of belief functions. We
obtain a more expressive class of games we refer to as BelGames. It
makes it possible to better capture human behaviors with respect to
lack of information.
Next, we prove an extended version of the so-called
Howson--Rosenthal's theorem, showing that BelGames can be turned
into games of complete information, i.e., without any uncertainty.
publications:
- pub_url: "https://doi.org/10.4230/LIPIcs.ITP.2023.25"
pub_title: "Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant (2022)"
# pub_doi: TODO
authors:
- name: Pierre Pomeret-Coquot
initial: true
- name: Erik Martin-Dorel
initial: true
- name: Hélène Fargier
initial: true
maintainers:
- name: Pierre Pomeret-Coquot
nickname: pPomCo
- name: Erik Martin-Dorel
nickname: erikmd
opam-file-maintainer: [email protected]
opam-file-version: dev
license:
fullname: MIT
identifier: MIT
supported_coq_versions:
text: 8.16 or later
opam: '{(>= "8.16" & < "8.19~")}'
dependencies:
- opam:
name: coq-mathcomp-algebra
version: '{>= "2.0"}'
description: |-
[MathComp](https://math-comp.github.io) 2.0.0 or later
tested_coq_opam_versions:
- version: '2.0.0-coq-8.18'
repo: 'mathcomp/mathcomp'
- version: '2.0.0-coq-8.17'
repo: 'mathcomp/mathcomp'
- version: '2.0.0-coq-8.16'
repo: 'mathcomp/mathcomp'
# ci_cron_schedule: '20 4 * * *'
namespace: BelGames
keywords:
- name: games of incomplete information
- name: belief functions theory
- name: mathcomp/ssreflect
# categories:
# - name: Computer Science/Formal Languages Theory and Automata
# documentation: |-
# ## HTML Documentation
#
# To generate HTML documentation, run `make coqdoc` and point your browser at `docs/coqdoc/toc.html`.
#
# See also the pregenerated HTML documentation for the [latest release](https://ppomco.github.io/coq-belgames-csl2023/docs/latest/coqdoc/toc.html).
#
# ## File Contents
#
# * `file.v`: TODO
---