Design and use paradigms for Gazebo, an open-source multi-robot simulator | IEEE Conference Publication | IEEE Xplore