Bidirectional Nested Weighted Automata.

Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop

Browse the full CONCUR paper archive.