Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming. - Sarat Chandra Varanasi; Baoluo Meng; Christopher C. Alexander; Szabolcs Borgyos; Brendan Hall (ICLP Workshops, 2022)

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming. - Sarat Chandra Varanasi; Baoluo Meng; Christopher C. Alexander; Szabolcs Borgyos; Brendan Hall (CoRR, 2022)

UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper). - Sarat Chandra Varanasi; Baoluo Meng; Christopher C. Alexander; Szabolcs Borgyos (PADL, 2023)