Automatic software verification for robotics.

Jacopo Mantovani

Published in: AI Commun. (2008)

Keyphrases

artificial intelligence
artificial neural networks
semi automatic
high level
data driven
machine intelligence
database
neural network
learning algorithm
computer vision
multiscale
reinforcement learning
search algorithm
user interface
fully automatic