Figure 4From: A novel procedure for statistical inference and verification of gene regulatory subnetworkIllustration of weighted symbolic model checking of the regulatory network in Fig. 1. The state transition update is dependent on the modified influence score (weight w i ) calculated by Banjo.Back to article page