Automatic property checking of robotic applications.

Alvaro Miyazawa Pedro Ribeiro Wei Li Ana Cavalcanti Jon Timmis

Published in: IROS (2017)

Keyphrases

semi automatic
artificial intelligence
learning environment
neural network
machine learning
expert systems
multiresolution
information extraction
data driven