Extended Weighted Pushdown Systems.

Akash Lal, Thomas W. Reps, Gogul Balakrishnan

Browse the full CAV paper archive.