Specifying and verifying visual grasping tasks

@inproceedings{Shkel1997SpecifyingAV,
  title={Specifying and verifying visual grasping tasks},
  author={Eugenia Shkel and Nicola J. Ferrier},
  booktitle={ICRA},
  year={1997}
}
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