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

915 questions

1k answers

1.4k comments

441 users

0 votes

Would this be correct.

As Ga does not hold on the next state S1 is not satisfied whereas a & EFb holds globally.

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

1 Answer

0 votes
S2 is also not true: You have〖E F b〗 = {s0,s1,s2} and thus〖a & E F b〗 = {s1}, thus 〖AX(a & E F b)〗 = {s0;s2}, and since these states cannot be visited only, it follows that S2 holds in none of the states. S1 does also not hold in s0 since the only path leaving there satisfies next that a holds, but then a becomes false so that Ga does not hold.
by (142k points)

Related questions

0 votes
1 answer
asked Sep 1, 2022 in * TF "Emb. Sys. and Rob." by learner (350 points)
0 votes
1 answer
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
...