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