Title: A Toolchain for Solving Dynamic Optimization Problems Using Symbolic and Parallel Computing Authors: Evgeny Lazutkin, Siegbert Hopfgarten, Abebe Geletu and Pu Li Links: Abstract, Full paper