Evènement pour le groupe Modélisation et Verification

Date 2011-05-05  11:30-12:30
TitreComputing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions 
RésuméWe study Markov decision processes (one-player stochastic games) equipped with parity and positive-average conditions. In these games, the goal of the player is to maximize the probability that both the parity and the positive-average conditions are fulfilled. We show that the values of these games are computable in polynomial time. We also show that optimal strategies exist, require only finite memory and can be effectively computed. Joint work with Hugo Gimbert and Soumya Paul. 
OrateurYoussouf Oualhadj 

Aucun document lié à cet événement.

Retour à l'index