Andrew J. Barry, Anirudha Majumdar, Russ Tedrake. Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates. In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA. pages 484-490, IEEE, 2012. [doi]
Abstract is missing.