Summary

Verification of AI models. Using formal methods to verify neural networks. Applications include pendulum control systems, reinforcement learning, and bipedal walking. Approaches: sampling/testing, interval analysis, solver-based verification (SMT).