UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).

Sarat Chandra Varanasi, Baoluo Meng, Christopher C. Alexander, Szabolcs Borgyos

Browse the full PADL paper archive.