this repo has no description
Format code
+15
-11
+9
-9
rapport/context.typ
+9
-9
rapport/context.typ
···
1
-
#import "utils.typ": comment, refneeded, todo, dontbreak
1
+
#import "utils.typ": comment, dontbreak, refneeded, todo
2
2
#import "@preview/fletcher:0.5.8": edge, node
3
3
#import "@preview/fletcher:0.5.8"
4
4
#import "@preview/diagraph:0.3.6"
···
252
252
On définit également l'ensemble de _tout_ les chemins d'états possibles, peut importe la politique, $cal(C)$ :
253
253
254
254
#let definitions_paths_set = $
255
-
cal(C) &:=
256
-
setbuilder(
257
-
cases(
258
-
& c_0 & = (s_0, a_0),
259
-
forall t in NN quad & c_(t+1) & = (M(c_t), a_t)
260
-
),
261
-
(s_0, a) in S times A^NN
262
-
)
255
+
cal(C) & :=
256
+
setbuilder(
257
+
cases(
258
+
& c_0 & = (s_0, a_0),
259
+
forall t in NN quad & c_(t+1) & = (M(c_t), a_t)
260
+
),
261
+
(s_0, a) in S times A^NN
262
+
)
263
263
$
264
264
265
265
#definitions_paths_set
+6
-2
slides/main.typ
+6
-2
slides/main.typ
···
92
92
#let loop = (pauses: false) => diagram(
93
93
node((0, 0), $s_t$),
94
94
if pauses { pause } else { none },
95
-
if pauses { edge(corner: right, label-pos: 2 / 8, label-side: left)[choix de l'action] } else { none },
95
+
if pauses {
96
+
edge(corner: right, label-pos: 2 / 8, label-side: left)[choix de l'action]
97
+
} else { none },
96
98
edge("->", corner: right, label-pos: 3 / 8, label-side: left)[$Pi$],
97
99
node((1, -1))[$a_t$],
98
100
if pauses { pause } else { none },
99
101
edge("->", corner: right, label-pos: 5 / 8, label-side: left)[$M$],
100
-
if pauses { edge(corner: right, label-pos: 6 / 8, label-side: left)[simulation] } else { none },
102
+
if pauses {
103
+
edge(corner: right, label-pos: 6 / 8, label-side: left)[simulation]
104
+
} else { none },
101
105
node((2, 0))[$s_(t+1)$],
102
106
if pauses { pause } else { none },
103
107
edge((2, 0), (2, .75), (0, .75), (0, 0), "-->", label-side: left)[itération],