A stochastically verifiable decision making framework for autonomous ground vehicles
Design and use paradigms for Gazebo, an open-source multi-robot simulator