Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications.
Pian YuShuyang DongShili ShengLu FengMarta KwiatkowskaPublished in: ICRA (2024)
Keyphrases
- temporal logic
- motion planning
- human robot
- humanoid robot
- trust aware
- concurrent systems
- model checking
- transition systems
- model checker
- reactive systems
- human robot interaction
- bounded model checking
- formal specification language
- formal specification
- degrees of freedom
- multi modal
- path planning
- recommender systems
- dialogue system
- linear temporal logic
- robotic arm
- mobile robot
- trust model
- belief space
- formal verification
- control flow
- belief revision
- verification method
- multi robot
- climbing robot
- viewpoint
- markov decision processes
- human motion
- three dimensional
- robotic systems