Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information

Sophie Pinchinat 1 Olivier Serre 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Nous considérons le problème du test du vide pour les automates d'arbres alternants à parité. La méthode usuelle pour résoudre ce problème, commence par supprimer l'alternance ce qui conduit à un automate non-déterministe dont le vide est ensuite testé par réduction à un jeux de parité à information parfaite. Dans cette note, nous proposons une approche alternative pour ce problème, en proposant une réduction directe du problème du vide à un jeu de parité à information imparfaite.
Type de document :
Rapport
[Research Report] PI-1992, 2012, pp.6
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00700334
Contributeur : Sophie Pinchinat <>
Soumis le : mardi 22 mai 2012 - 16:41:53
Dernière modification le : mercredi 16 mai 2018 - 11:23:04
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 08:08:27

Fichier

RR-1992.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00700334, version 1

Citation

Sophie Pinchinat, Olivier Serre. Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information. [Research Report] PI-1992, 2012, pp.6. 〈hal-00700334〉

Partager

Métriques

Consultations de la notice

488

Téléchargements de fichiers

367