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


538 users

0 votes

Is my drawn kripke structure correct that Satisfies EGa & EGb but not EG(a&b) ?

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

1 Answer

0 votes
No, I think it is wrong: one state satisfies EGa but not EGb, and the other state satisfies EGb but not EGa, so none of the states satisfies EGa & EGb, and neither do they satisfy EG(a&b)
by (166k points)
Imprint | Privacy Policy