• A Formal Approach to the Automatic Generation of Ballet Motions 

      LaViers, Amy; Chen, Yushan; Belta, Calin; Egerstedt, Magnus B. (Georgia Institute of TechnologyInstitute of Electrical and Electronics Engineers, 2011-04)
      As cyber-physical systems become more prevalent, specifications for these systems must be formulated in a more nuanced manner. This paper presents a particular instantiation of such specification by proposing a framework ...