Assured Autonomy Survey
This monograph discusses assurance for autonomous systems, the different approaches to assuring autonomy, formal analysis, cybersecurity, certification and research challenges, and it is intended for researchers, students and practitioners who are active in the privacy and security aspects of autonomous systems.