PNL-Skript, Seite 165:

Es gibt keine CTL-Formel, die äquivalent zur LTL-Formel A(FGp) ist! Sie bedeutet: "auf jedem Pfad gibt es einen Zustand, ab dem p immer gilt".

Ich seh jetzt irgendwie nicht den Unterschied zu AF(AGp), was ja in CTL liegt. Hilft mir mal wer auf die Sprünge?

tztz, man muss hier echt jedem Anfänger die Suchfunktion erklären ;)

Danke :)