The Inclusion Problem for Weighted Automata on Infinite Trees

Stefan Borgwardt, Rafael Peñaloza. The Inclusion Problem for Weighted Automata on Infinite Trees. In Pál Dömösi, Szabolcs Iván, editors, Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings. pages 108-122, 2011.

Abstract

Abstract is missing.