Finite-horizon optimal control of Boolean control networks | IEEE Conference Publication | IEEE Xplore