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

868 questions

986 answers


438 users

0 votes

I am solving the Exam problem 13.02.2019 Q 6. (b) (

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 (139k points)
selected by
Thank you for checking
Imprint | Privacy Policy