Receding horizon robot control in partially unknown environments with temporal logic constraints.
Vladislav NenchevCalin BeltaPublished in: ECC (2016)
Keyphrases
- temporal logic
- robot control
- unknown environments
- mobile robot
- autonomous robots
- formation control
- receding horizon
- model checking
- robot navigation
- path planning
- robotic systems
- free space
- obstacle avoidance
- belief revision
- outdoor environments
- air traffic control
- motion planning
- optimal linear
- collision avoidance
- control law
- indoor environments
- dynamic environments
- unmanned aerial vehicles
- search algorithm
- multi robot
- control system