Computational Verification of System Architectures.

Abbas K. Zaidi Alexander H. Levis

Published in: CISDA (2007)

Keyphrases

case study
formal verification
mobile robot
model checking
mathematical programming
machine learning
artificial intelligence
computer vision
decision trees
search algorithm
user interface
linear programming
computational power
neural architectures