The 2016 Formal Methods for Robotics Challenge [Competitions] | IEEE Journals & Magazine | IEEE Xplore