TY - RPRT TI - A Sampling Based Approach to Spacecraft Autonomous Maneuvering with Safety Specifications AU - Starek, Joseph A. AU - Barbee, Brent W. AU - Pavone, Marco PY - 2015 UR - https://ntrs.nasa.gov/citations/20150023583 ID - 20150023583 ER -