|
Evènement pour le groupe Modélisation et Verification
Date | 2009-11-26 11:00-12:15 |
Titre | Games on Infinite Domains and Approximation |
Résumé | I'll give an overview of research I have been
doing over the last few years in semantic models
of mixed non-deterministic and probabilistic choice.
One can also see this as models for two-player
turn-based (stochastic) games, where the state space
X is infinite. The approach is topological and
domain-theoretical. In particular, X need not
be Hausdorff, which leads to interesting models
where the knowledge of the current state can itself
be approximate.
We shall give a brief tour of these, through capacity-based
models, prevision models, simulation and (if time
permits) simulation (hemi-)metrics. |
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Jean Goubault-Larrecq |
Email | goubault@lsv.ens-cachan.fr |
Url | LSV, ENS-Cachan |
Aucun document lié à cet événement. RetourRetour à l'index
| |