Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains.

Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza

Browse the full ATVA paper archive.