How can we build robust, assured, and therefore trustworthy AI-based systems? That question lies at the heart of DARPA’s Assured Neuro…