Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop. Nested Weighted Automata. ACM Trans. Comput. Log., 18(4), 2017. [doi]
@article{ChatterjeeHO17-0, title = {Nested Weighted Automata}, author = {Krishnendu Chatterjee and Thomas A. Henzinger and Jan Otop}, year = {2017}, doi = {10.1145/3152769}, url = {http://doi.acm.org/10.1145/3152769}, researchr = {https://researchr.org/publication/ChatterjeeHO17-0}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {18}, number = {4}, }