Fig. 6From: Model checking optimal finite-horizon control for probabilistic gene regulatory networksWNT5A Network: Expected cost for a finite-horizon problem of length 8 originating from the different initial statesBack to article page