What's Decidable about Weighted Automata?

Shaull Almagor, Udi Boker, Orna Kupferman

Browse the full ATVA paper archive.