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

Figure 2

Discrete-time Markov chain in 𝑓⁽³⁾.