LTL, CTL, CTL*

Question

I did understand the solution but is my solution also correct?

Answer 1

For your structure, I compute the following, so, yes that is also an example.

E G a = {s0};
E G !a = {s1};
E F E G !a = {s0;s1};
E F E G a = {s0;s1};
E F E G a & E F E G !a = {s0;s1};
E G(E F E G a & E F E G !a) = {s0;s1};