Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2012

Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information

Abstract

We focus on the emptiness problem for alternating parity tree automata. The usual technique to tackle this problem first removes alternation, going to non-determinism, and then checks emptiness by reduction to a two-player perfect-information parity game. In this note, we give an alternative roadmap to this problem by providing a direct reduction to the emptiness problem to solving an imperfect-information two-player parity game.
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.
Fichier principal
Vignette du fichier
RR-1992.pdf (211.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00700334 , version 1 (22-05-2012)

Identifiers

  • HAL Id : hal-00700334 , version 1

Cite

Sophie Pinchinat, Olivier Serre. Emptiness Of Alternating Parity Tree Automata Using Games With Imperfect Information. [Research Report] PI-1992, 2012, pp.6. ⟨hal-00700334⟩
249 View
435 Download

Share

Gmail Facebook Twitter LinkedIn More