CAREER: Decision Procedures for High-Assurance AI-controlled CPS By Amy Karns December 16, 2021 File Download PDF Document