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

546 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 (166k points)
selected by
Yes got it. Thank you professor.
Imprint | Privacy Policy
...