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

935 questions

1.1k answers

1.4k comments

442 users

0 votes
To Convert EGE((Fb)&(Fa)) to CTL, is the below solution which I solved correct?

EGE((Fb)&(Fa))=>EGEF((EFb)&(EFa))
in * TF "Emb. Sys. and Rob." by (1k points)

1 Answer

+1 vote
 
Best answer

No, it is not, but you can compute that as follows:

    EGE((Fb)&(Fa)) 
    = EGE( (F(b&(Fa))) | (F(a&(Fb))) ) 
    = EG( (EF(b&(Fa))) | (EF(a&(Fb))) ) 
    = EG( (EF(b&(EFa))) | (EF(a&(EFb))) ) 
by (144k points)
selected by
Thank you for solving the problem in steps. Its now clear.

Related questions

0 votes
1 answer
0 votes
1 answer
asked Aug 28, 2022 in * TF "Emb. Sys. and Rob." by ln (1k points)
0 votes
1 answer
0 votes
1 answer
asked Aug 24, 2022 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
Imprint | Privacy Policy
...