the pyro toolkit for ai and robotics .
Design and use paradigms for Gazebo, an open-source multi-robot simulator