Fig. 5From: Model checking optimal finite-horizon control for probabilistic gene regulatory networksApoptosis Network: Optimal control policy for the horizon length 4 originating from the initial state s 4 Back to article page