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

529 users

0 votes

I am solving the Exam problem 13.02.2019 Q 6. (b) 2019.02.13.vrs.solutions.pdf (uni-kl.de)

I tried solving it first and came up with below solution :

Only the acceptance conditions differ in my solution and the exam solution.

The exam solution has acceptance condition FGp i.e eventually globally p holds while my solution has FG(p & q) i.e eventually globally p & q holds.

Could you please let me know whether my solution is correct or not ?

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

1 Answer

+1 vote
 
Best answer
It is correct as far as I can see. Fine!
by (166k points)
selected by
Thank you for checking
Imprint | Privacy Policy
...