Symbolic Implementation of Alternating Automata.

Roderick Bloem Alessandro Cimatti Ingo Pill Marco Roveri

Published in: Int. J. Found. Comput. Sci. (2007)

Keyphrases

machine learning
neural network
clustering algorithm
high level
database systems
multi agent
cellular automata
efficient implementation
finite state
implementation details
finite automata