⚡ electrical engineering
Learning Linear Temporal Specifications from Demonstrations with Uncertainty
यह शोध पत्र हैमिंग दूरी (Hamming distance) के माध्यम से ट्रेस अनिश्चितता को मॉडल करके और समस्या को सूडो-बुलियन ऑप्टिमाइज़ेशन (Pseudo-Boolean Optimization) में बदलकर, अनिश्चित प्रदर्शनों (demonstrations) से न्यूनतम लीनियर टेम्पोरल लॉजिक (LTL) विनिर्देशों को सीखने के लिए एक नवीन रूपरेखा प्रस्तुत करता है, जिससे शोर वाली स्थितियों में ग्राउंड-ट्रुथ सूत्रों को पुनः प्राप्त करने में मौजूदा विधियों से बेहतर प्रदर्शन किया जा सके।