Symbolic Implementation of Alternating Automata.

Roderick Bloem Alessandro Cimatti Ingo Pill Marco Roveri Simone Semprini

Published in: CIAA (2006)

Keyphrases

high level
implementation issues
neural network
efficient implementation
real time
decision making
image processing
website
case study
search algorithm
implementation details