Bidirectional Nested Weighted Automata.

Krishnendu Chatterjee Thomas A. Henzinger Jan Otop

Published in: CONCUR (2017)

Keyphrases

cellular automata
weighted sum
regular expressions
finite automata
multi agent
tree automata
data sets
state space
hierarchical structure
turing machine
weighted distance
finite state automata
probabilistic automata
lattice gas