Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
556 users
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.