Automatic sequencing of ballet poses

Amy Laviers, Yushan Chen, Calin Belta, Magnus Egerstedt

Research output: Contribution to journalArticlepeer-review


Understanding human behavior is a goal in many disciplines: behavioral psychology, neuroscience, robotics, computer vision, artificial intelligence, athletics, and dance, to name a few. Thus, this article may be understood in terms of a larger dialogue about how to represent human movement with a concise parameterization. Formal methods for verification can play a surprising role in this discourse. We will ensure that our system evolves according to specific style-based guidelines in a framework where verification methods become an integral part of the system model itself.

Original languageEnglish (US)
Article number6016594
Pages (from-to)87-95
Number of pages9
JournalIEEE Robotics and Automation Magazine
Issue number3
StatePublished - Sep 2011
Externally publishedYes

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Computer Science Applications
  • Electrical and Electronic Engineering


Dive into the research topics of 'Automatic sequencing of ballet poses'. Together they form a unique fingerprint.

Cite this