Sign in

Formal analysis of the kinematic Jacobian in screw theory.

Zhiping ShiAixuan WuXiumei YangYong GuanYongdong LiXiaoyu Song
Published in: Formal Aspects Comput. (2018)
Keyphrases
  • formal analysis
  • formal methods
  • theoretical framework
  • agent model
  • ban logic
  • machine learning
  • relational databases
  • software engineering
  • vector field