Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization

Figure 1

Simplified model of an apoptosis network. Activation (solid), inhibition (broken).