Incorrect Answer.
The state s
0
in the CTL model below satisfies EF
p but not
AF p.
(You should be able to explain why this is so.)
Back to Question.
Next Question.
Incorrect Answer.
p but not AF p.