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

867 questions

985 answers


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