Tree automata and discrete distributed gamesReportar como inadecuado

Tree automata and discrete distributed games - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Abstract : Distributed games, as defined in 6j, is a recent multiplayer extension of discrete two player infinite games. The main motivation for their introduction is that they provide an abstract framework for distributed synthesis problems, in which most known decidable cases can be encoded and solved uniformly. In the present paper, we show that this unifying approach allows as well a better understanding of the role played by classical results from tree automata theory as opposed to adhoc automata constructions in distributed synthesis problems. More precisely, we use alternating tree automata composition, and simulation of an alternating automaton by a non-deterministic one, as two central tools for giving a simple proof of known decidable cases

Autor: Julien Bernet - David Janin -



Documentos relacionados