Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
I hope you are able to check my solution attached.
I tried to satisfy S2. Considering the s2 satisfies a and s0s1 path satisfies FGb.
Is my solution right?
I tried to solve similar to Sept 2022 7d question.
Do you mean this structure?
The path s0->s1^omega satisfies [a SU FGb], but it does not satisfy [a SU Gb], which is no surprise since that path is the one given in the example solution. Why did you add the other state s2?