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

1.1k questions

1.3k answers

1.7k comments

556 users

0 votes

In the part b of simulation question the initial state is not present in the final states set, still answer is given as property holds, also all the initial states set should be present to make it hold, moreover q4 isnt the initial state which is mentioned in the description given

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

1 Answer

0 votes
This is in fact a printing mistake. In the second Kripke structure q4 was supposed to be the only initial state which would lead to K2 <= K1 holding.
by (3.5k points)
Imprint | Privacy Policy
...