TY  - RPRT
TI  - Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
AU  - Sarat Chandra Varanasi
AU  - Baoluo Meng
AU  - Christopher Alexander
AU  - Szabolcs Borgyos
AU  - Brendan Hall
PY  - 2022
UR  - https://arxiv.org/abs/2208.12199
ID  - 2208.12199
ER  -