From: A novel procedure for statistical inference and verification of gene regulatory subnetwork
 | CTL Formula | Result |
---|---|---|
Q1: | Fus3 = 1 → AX(Dig1/2 = −1) | True |
Q2: | AG(Ste11 = 1 → AX(Ste7 = 1)) | False |
Q3: | Msg5 = 1 → AF(Fus3 < 0 & Far1 < 0 & Dig1/2 = 1) | True |
Q4: | AG((Ste7 = 1 → AF(Fus3 = 1)) & (Fus3 = 1 → AF(Ste7 = 1))) | False |
Q5: | AG((Swi4/6 = 1 → AF(Cdc6 ≥ 0))) | True |
Q6: | AG((Swi4/6 = 1 → AF(Cln12 ≥ 0))) | True |
Q7: | AG((Cdc45 = 1 | Msg5 = 1 → EF(Cdc28 = 1 & Mcm2/3/6 ≥ 0))) | False |
Q8: | EG((Swi4/6 = 1 → EF(Cdc28 ≤ 0))) | True |
Q9: | AG((Mcm2/3/6 = 1 → AF(Cln12 = 1)) & (Cln12 = 1 → AF(Mcm2/3/6 ≤ 0))) | True |