Evènement pour le groupe Modélisation et Verification

Date 2009-11-26  11:00-12:15
TitreGames 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. 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurJean Goubault-Larrecq 
UrlLSV, ENS-Cachan 

Aucun document lié à cet événement.

Retour à l'index