Testing Between the Test Cases: Proving End-to-End Steering in Conditions You Never Drove
यह शोध पत्र यह प्रदर्शित करता है कि बाउंड प्रोपेगेशन (bound propagation) का उपयोग करके औपचारिक सत्यापन (formal verification), अनटेस्टेड विक्षोभ स्थितियों (untested disturbance conditions) में स्वचालित वाहनों के एंड-टू-एंड स्टीयरिंग सुदृढ़ता को कुशलतापूर्वक सिद्ध कर सकता है, जो अतिरिक्त ड्राइविंग अभियानों की आवश्यकता के बिना संभावित विफलताओं की पहचान करके पारंपरिक सिमुलेशन-आधारित परीक्षण के लिए एक व्यवहार्य पूरक प्रदान करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।