Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms | IEEE Journals & Magazine | IEEE Xplore