SCORE: Statistical Certification of Regions of Attraction via Extreme Value Theory
यह शोध पत्र SCORE को प्रस्तुत करता है, जो एक सांख्यिकीय प्रमाणन ढांचा (statistical certification framework) है जो उच्च-आयामी गैररेखीय गतिशील प्रणालियों (high-dimensional nonlinear dynamical systems) के लिए सुरक्षा उल्लंघनों को कुशलतापूर्वक सीमित करने और आकर्षण के क्षेत्रों (Regions of Attraction) को प्रमाणित करने के लिए प्रोजेक्टेड स्टोकेस्टिक ग्रेडिएंट लैंगविन डायनेमिक्स (Projected Stochastic Gradient Langevin Dynamics) और एक्सट्रीम वैल्यू थ्योरी (Extreme Value Theory) का लाभ उठाता है, जिससे पारंपरिक नियतात्मक सत्यापन विधियों (traditional deterministic verification methods) की स्केलेबिलिटी सीमाओं पर विजय प्राप्त होती है।