@misc{indiciae8b0958397096,
  title = {Validation of Autonomous Space Systems},
  author = {Doyle, Richard and Chien, Steve and Devereaux, Ann and Estlin, Tara and Holzmann, Gerard and Ingham, Michel and Huntsberger, Terry and Johnson, Andrew and Joshi, Rajeev and Some, Raphael},
  year = {2016},
  url = {https://ntrs.nasa.gov/citations/20190033644},
  note = {Source identifier: 20190033644}
}