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