Winning Regions of Pushdown Parity Games: A Saturation Method
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the saturation technique to the parity condition. Finite word automata are used to represent sets of pushdown configurations....
| Autores principales: | , |
|---|---|
| Formato: | Journal article |
| Lenguaje: | English |
| Publicado: |
2009
|
Search Result 1
