Login / Signup

Symbolic Implementation of Alternating Automata.

Roderick BloemAlessandro CimattiIngo PillMarco RoveriSimone 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