Figure 2From: Analysis and verification of the HMGB1 signaling pathwayStatistical Model Checking Algorithm. The algorithm for Statistical Model Checking is based on Bayesian Hypothesis Testing.Back to article page