Tool Demonstration of the FLATA Counter Automata Toolset.

Marius Bozga Radu Iosif Filip Konecný Tomás Vojnar

Published in: WING@ETAPS/IJCAR (2010)

Keyphrases

neural network
cellular automata
software tools
information retrieval
image processing
search engine
multiscale
data structure
finite automata
lattice gas