Fig. 3From: Model checking optimal finite-horizon control for probabilistic gene regulatory networksApoptosis Network: Expected cost of finite-horizon control of different lengths originating from the initial state s 4 Back to article page