Automatic Synthesis of Human Motion from Temporal Logic Specifications
Matthias Althoff,Matthias Mayer,Robert Müller,Matthias Althoff,Matthias Mayer,Robert Müller
Humans and robots are increasingly sharing their workspaces to benefit from the precision, endurance, and strength of machines and the universal capabilities of humans. Instead of performing time-consuming real experiments, computer simulations of humans could help to optimally orchestrate human and robotic tasks—either for setting up new production cells or by optimizing the motion planning of al...
