This module computes an optimal policy for a stochatic controllable system. The output will be an input for the SDDS module for simulation. Then the SDDS module will generate two trajectories: one without control and another with the control policy. The control policy is given as binary vectors where a "0" entry means no control and an entry of "1" means control. For instance, if there are 2 control nodes and 3 control edges, then a control action is a binary vector of size 5, e.g. (0,1,0,1,1), (1,1,0,0,1), etc.