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


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