Nested Weighted Automata.

Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop

Browse the full LICS paper archive.