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

867 questions

985 answers

1.4k comments

438 users

0 votes

In this question for the final states, why are there only two terms and not three like the below one? 

Am I missing something? 

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

1 Answer

+1 vote
 
Best answer
You can use the three fairness constraints as you do. However, the slides that follow after the basic translation that you are using, explain that one can omit some of the fairness constraints.
by (138k points)
selected by
okay, thank you!
Imprint | Privacy Policy
...