Q2. LTL paths Consider the transition system TS over the set of atomic propositions AP = {a,b,c}: Si S2 {a} {c} S4 {b} {b,c} ({a,b,c}) S3 S5 Decide for each LTL formulae q; below if TS = 0; holds. If the LTL formula does not satisfy the transition system TS, provide a path n such that 1| + V:. (a) 4. = F G C (b) Q2 = GFc c) 03= X 7 - XXC (d) 04 = Ga (e) Os = a UG (bv c)