Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
For this question I worked out -> EFEG[AFXGa SU EXEFEGb]
Is my answer a valid CTL as well?
It is definitely not a CTL formula since EFEG[AFXGa SU EXEFEGb] has temporal operators that are not preceded by a path quantifier. Moreover, you smuggled in the EG without justification, I don't see why that should hold.