no code implementations • 25 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.