LTL,CTL,CTL*

Question

Is this correct?

Answer 1

You have

  〖AG a〗 = {s1;s3}
  〖AF AG a〗 = {s0;s1;s2;s3}
  〖!a & A F A G a〗 = {s0;s2}
  〖AFG a〗 = {s0;s1;s2;s3}
  〖!a & AFG a〗 = {s0;s2}

Hence, both formulas are satisfied, I think.

Comments

Thank you. I got it now