Automatic Synthesis of Human Motion from Temporal Logic Specifications.
Matthias AlthoffMatthias MayerRobert MüllerPublished in: IROS (2020)
Keyphrases
- temporal logic
- human motion
- concurrent systems
- motion synthesis
- model checking
- transition systems
- reactive systems
- model checker
- bounded model checking
- motion capture
- formal specification language
- human body
- modal logic
- video sequences
- optical motion capture
- formal specification
- human motion tracking
- image sequences
- motion sequences
- spatio temporal
- body parts
- linear temporal logic
- human movement
- computation tree logic
- motion capture data
- motion recognition
- human movements
- human actions
- computer vision
- mazurkiewicz traces
- temporally extended
- articulated motion
- verification method
- control flow
- human motion analysis
- specification language
- temporal resolution
- belief revision
- temporal knowledge
- facial animation