Fig. 4From: 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 5 Back to article page