Patrick Martin Magnus Egerstedt Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes. 262-275 2009 HSCC http://dx.doi.org/10.1007/978-3-642-00602-9_19 conf/hybrid/2009 db/conf/hybrid/hscc2009.html#MartinE09