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

974 questions

1.1k answers

1.5k comments

472 users

0 votes


How is this satisfying EGa & EGb then? 

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

1 Answer

0 votes
 
Best answer
Well, the path s0->s1^omega satisfies Ga, and the path s0->s2^omega satisfies Gb so that there are paths in state s0 that satisfy Ga and Gb, and therefore EGa and EGb hold in s0.
by (148k points)
selected by
Yes got it. Thank you professor.

Related questions

+1 vote
1 answer
0 votes
1 answer
0 votes
1 answer
asked May 29, 2020 in * TF "Emb. Sys. and Rob." by nafisur (300 points)
0 votes
1 answer
Imprint | Privacy Policy
...