ChoiRbot: A ROS 2 Toolbox for Cooperative Robotics | IEEE Journals & Magazine | IEEE Xplore