Runtime Verification on Robotics Systems.

Zhijiang Dong Yujian Fu Yue Fu

Published in: Int. J. Robotics Appl. Technol. (2015)

Keyphrases

computer vision
computer systems
artificial intelligence
management system
formal methods
genetic algorithm
expert systems
knowledge based systems
model checking
learning environment
signature verification