An Algebraic Approach to Formulating and Solving Large Models for Sequential Decisions Under Uncertainty · Study