Sanjit A. Seshia (University of California, Berkeley): “Towards a Design Flow for Verified AI-Based Autonomy”
Levine 307Presentation 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 […]