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