Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.

Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal

Browse the full POPL paper archive.