Chargement de la vue.
Calendrier de Évènements
L lun
M mar
M mer
J jeu
V ven
S sam
D dim
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
1 évènement,
-
Séminaire Algo : Edwin Hamel (Univ. libre Bruxelles, Belgique) « Two-player boundedness counter games »
Séminaire Algo : Edwin Hamel (Univ. libre Bruxelles, Belgique) « Two-player boundedness counter games »
We consider two-player zero-sum games with winning objectives beyond regular languages, expressed as a parity condition in conjunction with a Boolean combination of boundedness conditions on a finite set of counters which can be incremented, reset to 0, but not tested. A boundedness condition requires that a given counter is bounded along the play. Such … Continue reading Séminaire Algo : Edwin Hamel (Univ. libre Bruxelles, Belgique) « Two-player boundedness counter games »