Motion Planning for Mobile Robots with Temporal Logic Specifications.
Jianxin ZengYaonan WangZhiqiang MiaoSifei WangPublished in: ICARM (2023)
Keyphrases
- motion planning
- temporal logic
- mobile robot
- concurrent systems
- transition systems
- model checking
- model checker
- reactive systems
- bounded model checking
- path planning
- formal specification language
- formal specification
- obstacle avoidance
- modal logic
- trajectory planning
- multi robot
- linear temporal logic
- autonomous mobile robot
- dynamic environments
- belief space
- robotic tasks
- collision avoidance
- robotic arm
- computation tree logic
- degrees of freedom
- motion control
- belief revision
- humanoid robot
- formal verification
- temporal knowledge
- verification method
- robotic systems
- collision free
- mechanical systems
- dynamic constraints
- automata theoretic
- reinforcement learning
- autonomous robots
- climbing robot
- configuration space
- finite state
- heuristic search
- viewpoint
- search algorithm