Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates. Barry, A. J., Majumdar, A., & Tedrake, R. In 2012 IEEE International Conference on Robotics and Automation, pages 484–490, 2012. IEEE. tex.ids= barry_safety_2012doi bibtex @inproceedings{barry_safety_2012,
title = {Safety verification of reactive controllers for {UAV} flight in cluttered environments using barrier certificates},
doi = {10/ghwkq5},
booktitle = {2012 {IEEE} {International} {Conference} on {Robotics} and {Automation}},
publisher = {IEEE},
author = {Barry, Andrew J. and Majumdar, Anirudha and Tedrake, Russ},
year = {2012},
note = {tex.ids= barry\_safety\_2012},
pages = {484--490},
}
Downloads: 0
{"_id":"BEoYJWQLqD9rSuynf","bibbaseid":"barry-majumdar-tedrake-safetyverificationofreactivecontrollersforuavflightinclutteredenvironmentsusingbarriercertificates-2012","author_short":["Barry, A. J.","Majumdar, A.","Tedrake, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates","doi":"10/ghwkq5","booktitle":"2012 IEEE International Conference on Robotics and Automation","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Barry"],"firstnames":["Andrew","J."],"suffixes":[]},{"propositions":[],"lastnames":["Majumdar"],"firstnames":["Anirudha"],"suffixes":[]},{"propositions":[],"lastnames":["Tedrake"],"firstnames":["Russ"],"suffixes":[]}],"year":"2012","note":"tex.ids= barry_safety_2012","pages":"484–490","bibtex":"@inproceedings{barry_safety_2012,\n\ttitle = {Safety verification of reactive controllers for {UAV} flight in cluttered environments using barrier certificates},\n\tdoi = {10/ghwkq5},\n\tbooktitle = {2012 {IEEE} {International} {Conference} on {Robotics} and {Automation}},\n\tpublisher = {IEEE},\n\tauthor = {Barry, Andrew J. and Majumdar, Anirudha and Tedrake, Russ},\n\tyear = {2012},\n\tnote = {tex.ids= barry\\_safety\\_2012},\n\tpages = {484--490},\n}\n\n","author_short":["Barry, A. J.","Majumdar, A.","Tedrake, R."],"key":"barry_safety_2012","id":"barry_safety_2012","bibbaseid":"barry-majumdar-tedrake-safetyverificationofreactivecontrollersforuavflightinclutteredenvironmentsusingbarriercertificates-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["safety","verification","reactive","controllers","uav","flight","cluttered","environments","using","barrier","certificates","barry","majumdar","tedrake"],"title":"Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates","year":2012}