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


538 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 (660 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 (166k points)
selected by
okay, thank you!
Imprint | Privacy Policy