A Formal Approach to the Automatic Generation of Ballet Motions

[1]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.

[2]  Hadas Kress-Gazit,et al.  Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[3]  Elizabeth Bradley,et al.  Using chaos to generate variations on movement sequences. , 1998, Chaos.

[4]  Greg J. Stephens,et al.  Dimensionality and Dynamics in the Behavior of C. elegans , 2007, PLoS Comput. Biol..

[5]  Pietro Perona,et al.  Hybrid models for human motion recognition , 2005, 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05).

[6]  I. Bartenieff,et al.  Body Movement: Coping with the Environment , 1980 .

[7]  Robert Gottlieb.  George Balanchine: The Ballet Maker , 2004 .

[8]  Greg J. Stephens,et al.  From Modes to Movement in the Behavior of Caenorhabditis elegans , 2009, PloS one.

[9]  Amir Pnueli,et al.  Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..

[10]  Gretchen Ward Warren,et al.  Classical Ballet Technique , 1989 .

[11]  Pietro Perona,et al.  Decomposition of human motion into dynamics-based primitives with application to drawing tasks , 2003, Autom..

[12]  Ufuk Topcu,et al.  Receding horizon control for temporal logic specifications , 2010, HSCC '10.

[13]  Greg J. Stephens,et al.  The emergence of stereotyped behaviors in C. elegans , 2009, 0912.5232.

[14]  Christoph Bregler,et al.  Learning and recognizing human dynamics in video sequences , 1997, Proceedings of IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[15]  Thomas Bak,et al.  Multi-Robot Motion Planning: A Timed Automata Approach , 2004 .

[16]  T. Aflalo,et al.  Mapping Behavioral Repertoire onto the Cortex , 2007, Neuron.

[17]  Paul Gastin,et al.  Fast LTL to Büchi Automata Translation , 2001, CAV.

[18]  Gang Qian,et al.  View-invariant full-body gesture recognition from video , 2008, 2008 19th International Conference on Pattern Recognition.

[19]  Calin Belta,et al.  Receding horizon surveillance with temporal logic specifications , 2010, 49th IEEE Conference on Decision and Control (CDC).