1 Motivation and Prevalence  
2 Applications: Autonomous Driving  
3 Architecture: Safe Monitoring and Control  
4 Intelligent Control  
5 Learning: Specification Inference and Learning  
6 Verification for AI/ML Components and Systems  
7 Conclusion