Formal analysis of the kinematic Jacobian in screw theory.

Zhiping Shi Aixuan Wu Xiumei Yang Yong Guan Yongdong Li Xiaoyu 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