A Signal Temporal Logic Planner for Ergonomic Human-Robot Collaboration.
Giuseppe SilanoAmr AfifiMartin SaskaAntonio FranchiPublished in: CoRR (2023)
Keyphrases
- temporal logic
- human robot
- human robot interaction
- model checking
- dialogue system
- modal logic
- temporally extended
- satisfiability problem
- action selection
- concurrent systems
- robotic systems
- humanoid robot
- linear temporal logic
- mazurkiewicz traces
- heuristic search
- human users
- transition systems
- planning domains
- computation tree logic
- formal specification language
- verification method
- artificial life
- belief revision
- formal verification
- learning algorithm
- human subjects
- bounded model checking
- domain independent
- natural language