Papers by Pu Li:

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