A Finite Convergence Criterion for the Discounted Optimal Control of Stochastic Logical Networks | IEEE Journals & Magazine | IEEE Xplore