|
Evènement pour le groupe Modélisation et Verification
Date | 2009-09-29 11:00-12:15 |
Titre | Parity 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. |
Lieu | Salle 075, LaBRI, Rez-de-chaussée |
Orateur | Anil Seth |
Url | IIT Kanpur, India |
Aucun document lié à cet événement. RetourRetour à l'index
| |