Lucas Liebenwein, Cenk Baykal, Igor Gilitschenski, Sertac Karaman, Daniela Rus. Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees. In Hadas Kress-Gazit, Siddhartha Srinivasa, Tom Howard, Nikolay Atanasov, editors, Robotics: Science and Systems XIV, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, June 26-30, 2018. 2018. [doi]
Abstract is missing.