Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions
यह सर्वेक्षण इस बात का एक व्यापक अवलोकन प्रदान करता है कि जटिलता और सुरक्षा की चुनौतियों से निपटने के लिए रोबोट लर्निंग में औपचारिक विधियों (फॉर्मल मेथड्स) को कैसे एकीकृत किया जा रहा है, जो विशेष रूप से दो प्रमुख स्तंभों पर केंद्रित है: पॉलिसी लर्निंग और पॉलिसी वेरिफिकेशन।