Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Deciding Maxmin Reachability in Half-Blind Stochastic Games
du groupe Séminaire Méthodes Formelles

Date 2016-05-10  11:00-12:00
TitreDeciding Maxmin Reachability in Half-Blind Stochastic Games 
RésuméTwo-player, turn-based, stochastic games with reachability conditions are considered, where the maximizer has no information (he is blind) and is restricted to deterministic startegies whereas the minimizer is perfectly informed. We ask the question of whether the game has maxmin 1 in other words we ask whether for all epsilon>0 there exists a deterministic strategy for the (blind) maximizer such that against all the strategies of the minimizer, it is possible to reach the set of final states with probability larger than 1-epsilon. This problem is undecidable in general, but we define a class of games, called leaktight half-blind games where the problem becomes decidable. We also show that mixed strategies in general are stronger for both players and that optimal strategies for the minimizer might require infinite-memory. 
Lieu76 
OrateurEdon Kelmendi 
Emailedon.kelmendi@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index