Approximating Safety Feedback Without a Safety Oracle via Model Predictive Control
यह शोध पत्र एक मॉडल प्रेडिक्टिव कंट्रोल-आधारित एल्गोरिदम का प्रस्ताव करता है जो स्पष्ट बाधा सूचकांकों (constraint formulations) या हस्त-लेबल किए गए डेटा की आवश्यकता के बिना क्रिया सुरक्षा को सत्यापित करने के लिए सिम्युलेटर-संचालित उत्क्रमणीयता (reversibility) और धनात्मक-अपरिवर्तनीयता (positive-invariance) धारणाओं का लाभ उठाकर एक सुरक्षा ओरेकल (safety oracle) का सन्निकटन करता है।