@misc{indiciaea0fcc30d9148,
  title = {A Sampling Based Approach to Spacecraft Autonomous Maneuvering with Safety Specifications},
  author = {Starek, Joseph A. and Barbee, Brent W. and Pavone, Marco},
  year = {2015},
  url = {https://ntrs.nasa.gov/citations/20150023583},
  note = {Source identifier: 20150023583}
}