Hello,

In exam solution 2019.02.13, question 7.a, while translating LTL formula to mu-automaton, we get multiple acceptance conditions in the process i.e. GF(q0->b), GF(q0->q1), GF[q2 -> c] and GF[q3 | a]. But in the solution, we choose only GF(q2->c) and GF[q0->b] while the rest are ignored. Is there any reason why we choose only two of them?

Thank You. Regards