Search Results for author: Szabolcs Borgyos

Found 1 papers, 0 papers with code

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming

no code implementations25 Aug 2022 Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos, Brendan Hall

In this paper, we leverage Answer Set Programming to encode the AMA safety code and automate compliance checks.

Cannot find the paper you are looking for? You can Submit a new open access paper.