Unbounded Dynamic Programming via the Q-Transform

This paper was originally a project of John and Qingyin, but they invited me to work on extensions and applications in 2020. I thought it was a neat idea to transform an unbounded dynamic programming problem to a bounded one, so I joined.