Waiting for answer This question has not been answered yet. You can hire a professional tutor to get the answer.
QUESTION
Suppose that p is an atomic (CTL) state formula.
Suppose that p is an atomic (CTL) state formula. Prove that[AF p] = [p ∨ AX(AF p)]That is, prove that for any Kripke structure, the set of states that satisfy the CTL formula AF p equals the set of states that satisfy the CTL formula p ∨ AX(AF p).
