JE Smith, KF McCardle - Operations Research, 2002 - pubsonline.informs.org
In Markov models of sequential decision processes, one is often interested in showing that
the value function is monotonic, convex, and/or supermodular in the state variables. These …