"Formal Modeling and Analysis of Collaborative Humanoid Robotics."

Yujian Fu, Zhijiang Dong, Xudong He (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics