Automating dynamic programs
Dynamic algebras of programs
Dynamic programming of the towers
Neuro-Dynamic Programming