Lipschitz Optimization for Formal Verification of Homographies
यह शोध पत्र एक औपचारिक सत्यापन ढांचा प्रस्तुत करता है जो लिप्सचिट्ज़ अनुकूलन (Lipschitz optimization) और होमोग्राफी की खंडवार निरंतरता (piecewise continuity) का लाभ उठाकर 3D कैमरा गति विक्षोभ के तहत पिक्सेल मानों पर सटीक रैखिक सीमाएं व्युत्पन्न करता है, जिससे जटिल सिमुलेशन या सरोगेट मॉडल पर निर्भर किए बिना प्लेनर दृश्यों में विजन न्यूरल नेटवर्क के लिए पहली कठोर सुदृढ़ता गारंटी सक्षम होती है।