Weighted automata and weighted logics.

Manfred Droste Paul Gastin

Published in: Theor. Comput. Sci. (2007)

Keyphrases

search algorithm
expressive power
weighted distance
multi agent
special case
cellular automata
weighted sum