What's Decidable About Weighted Automata?
=========================================

Weighted automata map input words to numerical values. We continue
the study of the borders of decidability in weighted automata,
describe alternative and direct proofs of several decidability and
undecidability results concerning the universality and containment
problems for weighted automata, and tighten them further.