Papers by Karl Berntorp:

Title: Symbolic Transformations of Dynamic Optimization Problems
Authors: Fredrik Magnusson, Karl Berntorp, Björn Olofsson and Johan Åkesson
Links: Abstract, Full paper