Sign in

Runtime Verification on Robotics Systems.

Zhijiang DongYujian FuYue 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