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

769 questions

886 answers

1.3k comments

424 users

0 votes

In this solution, why wasn't q4 included in the state set, G[Fa U b] is represented as q4.

Also if i had added the fairness constraints for q3 and q4 it would still be a correct solution right ?

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

1 Answer

0 votes
 
Best answer
That seems to be a mistake. q4 must also be added to the set of state variables. Fairness constraints for q3 and q4 are not needed, but it is not wrong to add them. Which exam paper was this?
by (117k points)
selected by
25th of August 2020
Thanks for pointing this out, it has been fixed now.
Imprint | Privacy Policy
...