Specifying and verifying visual grasping tasks

  title={Specifying and verifying visual grasping tasks},
  author={Eugenia Shkel and Nicola J. Ferrier},
This paper presents an approach to the speciication of requirements, and veriication of design, for a robot or other intelligent system. The approach is demonstrated on a typical robotic task { visual grasping. Formal mathematical reasoning is used to show that a design conforms to the system requirements. Typically the requirements deene safety and… CONTINUE READING