Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates.

Andrew J. Barry, Anirudha Majumdar, Russ Tedrake

Browse the full ICRA paper archive.