Motion Planning Using Hyperproperties for Time Window Temporal Logic.
Ernest BonnahLuan Viet NguyenKhaza Anuarul HoquePublished in: IEEE Robotics Autom. Lett. (2023)
Keyphrases
- motion planning
- temporal logic
- model checking
- degrees of freedom
- path planning
- trajectory planning
- mobile robot
- robot arm
- satisfiability problem
- modal logic
- humanoid robot
- robotic tasks
- concurrent systems
- obstacle avoidance
- robotic arm
- multi robot
- autonomous mobile robot
- belief space
- verification method
- temporal knowledge
- linear temporal logic
- transition systems
- formal specification language
- configuration space
- mechanical systems
- dynamic constraints
- reactive systems
- formal verification
- belief revision
- bounded model checking
- climbing robot
- automata theoretic
- viewpoint