SCORE: Statistical Certification of Regions of Attraction via Extreme Value Theory
The episode discusses a paper titled "SCORE: Statistical Certification of Regions of Attraction via Extreme Value Theory." The hosts discuss how this method uses Projected Stochastic Gradient Langevin Dynamics and Extreme Value Theory to certify regions of attraction in complex, high-dimensional robotics problems. They conclude that this statistical approach allows for rigorous upper bounds on worst-case safety violations, enabling certification for large systems where deterministic methods fail.