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 States
ABSTRACT: 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 […]

