Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
यह शोध पत्र स्वायत्त प्रणालियों के लिए एक सुरक्षा-गारंटीकृत और इष्टतम शिक्षण ढांचे का प्रस्ताव करता है जो प्राथमिकता-आधारित शिक्षण समस्याओं को मिश्रित-पूर्णांक रैखिक कार्यक्रमों (Mixed-Integer Linear Programs) के रूप में कुशलतापूर्वक हल करने के लिए संरचनात्मक छंटाई (structural pruning) और लॉग-ट्रांसफॉर्म तकनीकों के साथ भारित सिग्नल टेम्पोरल लॉजिक (Weighted Signal Temporal Logic - WSTL) का उपयोग करता है, जिसे रोबोटिक नेविगेशन और फॉर्मूला 1 रेसिंग में प्रयोगों के माध्यम से सत्यापित किया गया है।