ASSET Seminar: “Towards a Design Flow for Verified AI-Based Autonomy” (Sajit A. Seshia, University of California, Berkeley)
Levine 307 3330 Walnut Street, PhiladelphiaABSTRACT: 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 […]