Zero-Shot-Anweisungsverfolgung in RL dank strukturierter LTL‑Darstellungen
Linear Temporal Logic (LTL) bietet ein kraftvolles Mittel, um komplexe und strukturierte Aufgaben für Reinforcement‑Learning‑Agenten zu formulieren. Durch die Interpretation von LTL‑Anweisungen als endliche Automaten –…