Yujian Fu, Zhijiang Dong, Xudong He. Formal Modeling and Analysis of Collaborative Humanoid Robotics. IJRAT, 6(1):34-54, 2018. [doi]
@article{FuDH18,
title = {Formal Modeling and Analysis of Collaborative Humanoid Robotics},
author = {Yujian Fu and Zhijiang Dong and Xudong He},
year = {2018},
doi = {10.4018/IJRAT.2018010103},
url = {https://doi.org/10.4018/IJRAT.2018010103},
researchr = {https://researchr.org/publication/FuDH18},
cites = {0},
citedby = {0},
journal = {IJRAT},
volume = {6},
number = {1},
pages = {34-54},
}