What's decidable about weighted automata?

Shaull Almagor Udi Boker Orna Kupferman

Published in: Inf. Comput. (2022)

Keyphrases

cellular automata
automata theoretic
regular expressions
probabilistic automata
data management
finite state
finite automata
real time
neural network
logic programs
temporal logic
weighted sum