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