Exercise 2 (LTL Part 1) Let p, q, r be atomic propositions (20 Marks) Question 2 For each of the following set of paths S, 1-3, give an LTL formula, yi, that best defines Si (and justify your answer): 1. S1: paths that contain at least one p which is not immediately followed by q; 2. S2: paths that contain at least two p but not in the first two logical instants; 3. S3: paths that satisfy: if containing an infinite number of p then they contain a finite number of q Note: you can use the operators F and G, as well as all other LTL operators Exercise 2 (LTL Part 1) Let p, q, r be atomic propositions (20 Marks) Question 2 For each of the following set of paths S, 1-3, give an LTL formula, yi, that best defines Si (and justify your answer): 1. S1: paths that contain at least one p which is not immediately followed by q; 2. S2: paths that contain at least two p but not in the first two logical instants; 3. S3: paths that satisfy: if containing an infinite number of p then they contain a finite number of q Note: you can use the operators F and G, as well as all other LTL operators