Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
यह ट्यूटोरियल एक एकीकृत ढांचे (unified framework) का परिचय देता है जो नियंत्रण सिद्धांत (control theory) को अत्याधुनिक न्यूरल नेटवर्क सत्यापनकर्ता -CROWN के साथ जोड़ता है ताकि सुरक्षा-महत्वपूर्ण प्रणालियों (safety-critical systems) के लिए लर्निंग-आधारित नियंत्रकों में सुरक्षा और स्थिरता गुणों के स्केलेबल, औपचारिक सत्यापन (formal verification) को सक्षम किया जा सके।