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.
ASJC Scopus subject areas
- Control and Systems Engineering
- Computer Science Applications
- Electrical and Electronic Engineering