@INPROCEEDINGS{Liebenwein-RSS-18, 
    AUTHOR    = {Lucas Liebenwein AND Cenk Baykal AND Igor Gilitschenski AND Sertac Karaman AND Daniela  Rus}, 
    TITLE     = {Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees}, 
    BOOKTITLE = {Proceedings of Robotics: Science and Systems}, 
    YEAR      = {2018}, 
    ADDRESS   = {Pittsburgh, Pennsylvania}, 
    MONTH     = {June}, 
    DOI       = {10.15607/RSS.2018.XIV.014} 
}