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


543 users

0 votes

Isn't it satisfy S1 formula and not satisfy S2? 

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

1 Answer

0 votes
In your transition system, there is only one path that alternates infinitely often between the states labeled with {} and {p,q}. On this path, both formulas S1 and S2 are satisfied, since we have there infinitely often p&q, infinitely often p, and infinitely often q.
by (166k points)
Imprint | Privacy Policy