 |
 |
|
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
| |