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....
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2009
|