ASSET Seminar: “Towards a Design Flow for Verified AI-Based Autonomy” (Sajit A. Seshia, University of California, Berkeley)
Levine 307 3330 Walnut Street, Philadelphia, PA, United StatesABSTRACT: Verified artificial intelligence (AI) is the goal of designing AI-based systems that have strong, ideally provable, assurances of correctness with respect to formally specified requirements. This talk will review the main challenges to achieving Verified AI, and the initial progress the research community has made towards this goal. A particular focus will be on […]