Weighted automata and weighted MSO logics for average and long-time behaviors.

Manfred Droste Ingmar Meinecke

Published in: Inf. Comput. (2012)

Keyphrases

standard deviation
expressive power
finite state
case study
weighted sum
finite state machines
neural network
cellular automata