@misc{indiciae5f58fe298763,
  title = {Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming},
  author = {Sarat Chandra Varanasi and Baoluo Meng and Christopher Alexander and Szabolcs Borgyos and Brendan Hall},
  year = {2022},
  url = {https://arxiv.org/abs/2208.12199},
  note = {Source identifier: 2208.12199}
}