From: A novel procedure for statistical inference and verification of gene regulatory subnetwork
 | CTL Formula | Result |
---|---|---|
P1 | Fus3 = 1 → AX(Dig1/2 = -1) | True |
P2 | AG(Ste11 = 1 → AX(Ste7 = 1)) | False |
P3 | Msg5 = 1 → AF(Fus3 = -1 & Far1 = -1 & Dig1/2 = 1) | True |
P4 | AG((Ste7 = 1 → AF(Fus3 = 1)) & (Fus3 = 1 → AF(Ste7 = 1))) | False |