Safe Linear Temporal Logic Motion Planning in Dynamic Environments.
Yinan LiEbrahim Moradi ShahrivarJun LiuPublished in: IROS (2021)
Keyphrases
- dynamic environments
- motion planning
- linear temporal logic
- path planning
- mobile robot
- temporal logic
- trajectory planning
- robotic tasks
- model checking
- degrees of freedom
- multi robot
- collision free
- collision avoidance
- humanoid robot
- obstacle avoidance
- autonomous agents
- belief space
- single agent
- changing environment
- potential field
- biologically inspired
- autonomous robots
- robotic systems
- climbing robot
- three dimensional
- configuration space
- plan execution
- evaluation function
- viewpoint