Effizientes Lernen von Agenten für Verstärkungslernen durch logische Spezifikationen-gesteuerte dynamische Aufgabenauswahl

Ein neuartiger Ansatz, der Agenten beim Lernen einer Reihe von Richtlinien unterstützt, um ein hohes Ziel basierend auf einer logischen Spezifikation zu erreichen, während die Anzahl der Umgebungsinteraktionen minimiert wird.