Evènement pour le groupe Modélisation et Verification


Date 2009-09-29  11:00-12:15
TitreParity Games on Multistack Systems 
RésuméIn this talk we present higher order multi-stack pushdown systems (hmpds). We show that parity games over bounded phase hmpds are effectively solvable and winning strategy in these games can be effectively synthesized. The proof is by reducing the parity games over bounded phase hmpds to finite state parity games. We shall describe this reduction in some detail. 
LieuSalle 075, LaBRI, Rez-de-chaussée 
OrateurAnil Seth 
UrlIIT Kanpur, India 



Aucun document lié à cet événement.

Retour
Retour à l'index