@misc{indiciaec1a2e0108e60,
  title = {Feedback-Directed Random Sequence Generation for Verifying Spacecraft Flight Rule Violations},
  author = {Su, Laura and Voskanian, Vicken and Khan, Shaheer and Mukherji, Deep},
  year = {2022},
  url = {https://ntrs.nasa.gov/citations/20230005777},
  note = {Source identifier: 20230005777}
}