औपचारिक मजबूती मूल्यांकन

एक निर्दिष्ट डोमेन में सभी संभावित विक्षेपणों पर गारंटी साबित करके किसी मॉडल की मजबूती की जांच के लिए गणितीय रूप से कठोर दृष्टिकोण। अनुभवजन्य विधियों के विपरीत, औपचारिक मूल्यांकन पूर्ण निश्चितता प्रदान करता है, लेकिन यह अक्सर गणनात्मक रूप से महंगा होता है।

← पीछे