Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

529 users

0 votes

For this question I worked out -> EFEG[AFXGa SU EXEFEGb]

Is my answer a valid CTL as well?

in * TF "Emb. Sys. and Rob." by (610 points)
I don't think that this is correct. Where did you get the EG after the EF from?

1 Answer

0 votes

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.

by (166k points)
I see the mistakes now. My usage of the templates seems dodgy. Also it is clear that AFXGa is a problematic term and I should have focused on dealing with that first.
Thanks.
Imprint | Privacy Policy
...