What's Decidable about Weighted Automata?

Shaull Almagor Udi Boker Orna Kupferman

Published in: ATVA (2011)

Keyphrases

automata theoretic
first order logic
finite state machines
tree automata
real time
machine learning
cellular automata
weighted sum
finite state