Safety Assessment of Collaborative Robotics Through Automated Formal Verification | IEEE Journals & Magazine | IEEE Xplore