Two-Phase Motion Planning Under Signal Temporal Logic Specifications in Partially Unknown Environments.
Daiying TianHao FangQingkai YangZixuan GuoJinqiang CuiWenyu LiangYan WuPublished in: IEEE Trans. Ind. Electron. (2023)
Keyphrases
- motion planning
- temporal logic
- unknown environments
- mobile robot
- path planning
- concurrent systems
- obstacle avoidance
- transition systems
- model checking
- model checker
- bounded model checking
- reactive systems
- formal specification language
- degrees of freedom
- formal specification
- dynamic environments
- multi robot
- belief space
- autonomous robots
- linear temporal logic
- free space
- indoor environments
- simultaneous localization and mapping
- robotic systems
- formal verification
- outdoor environments
- verification method
- humanoid robot
- autonomous navigation
- mobile robotics
- belief revision
- control flow
- computer vision
- object recognition