Methods and Tools to Enable the Verification of Intelligent Systems.

Alessandro Pinto

Published in: Infotech@Aerospace (2012)

Keyphrases

intelligent systems
computational intelligence
artificial intelligence
ambient intelligence
expert systems
data mining
intelligent agents
soft computing
hybrid intelligent systems
computer vision
computational models
lecture notes in artificial intelligence
multi disciplinary