Eindeutigkeit der Lösung für die Bellman-Gleichung von LTL-Zielen

Wenn einer der Diskontierungsfaktoren in der Ersatzbelohnung für LTL-Ziele gleich 1 gesetzt wird, kann die Bellman-Gleichung mehrere Lösungen haben, was zu einer ungenauen Bewertung der erwarteten Rückgabe führen kann. Eine hinreichende Bedingung für die Eindeutigkeit der Lösung ist, dass die Lösung für alle Zustände in einer ablehnenden Bottom-Strongly-Connected-Komponente (BSCC) gleich 0 ist.