0 votes
Hello,

I have a question in converting CTL* to CTL.

E(Fa ∧ Fb)

= EFa ∧  EFb

Is the above formula in CTL?. And, can I stop my solution here itself?

Thanks
in * TF "Emb. Sys. and Rob." by (300 points)

1 Answer

0 votes

EFa ∧  EFb is a CTL formula, but it is not equivalent to E(Fa ∧ Fb): The latter asks for one path where at some point a and at some point b holds, while the former would allow that Fa is satisfied on one path p1 while Fb is satisfied on another path p2 and none of the paths p1 and p2 would satisfy the other formula. 

by (98k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...