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