Login / Signup

Formal Modeling and Verification of Industrial Robotic Arm - A Case Study.

Ilmaan ZiaMuhammad Abdul Basit Ur RahimTairan LiuZhangying He
Published in: QRS Companion (2023)
Keyphrases
  • robotic arm
  • degrees of freedom
  • motion planning
  • three dimensional
  • industrial applications
  • visual servoing
  • master slave
  • multi modal