Symbolic Strategy Synthesis for Games on Pushdown Graphs.

Thierry Cachat

Browse the full ICALP paper archive.