A Survey on the Verification of Reinforcement Learning Policies
यह सर्वेक्षण सत्यापन प्रतिमानों (verification paradigms), टेम्पोरल स्कोप (temporal scopes) और गारंटी की मजबूती (guarantee strengths) पर आधारित एक एकीकृत वर्गीकरण प्रस्तावित करके सुरक्षा-महत्वपूर्ण क्षेत्रों में सुदृढीकरण शिक्षण (reinforcement learning) नीतियों को सत्यापित करने की महत्वपूर्ण चुनौती को संबोधित करता है, साथ ही सैद्धांतिक आधारों को स्पष्ट करता है और भविष्य की अनुसंधान दिशाओं की पहचान करता है।