Finding optimal control policy in Probabilistic Boolean Networks with hard constraints by using integer programming and dynamic programming | IEEE Conference Publication | IEEE Xplore