Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments.
Kazumune HashimotoNatsuko TsumagariToshimitsu UshioPublished in: CoRR (2021)
Keyphrases
- path planning
- temporal logic
- uncertain environments
- multi robot
- dynamic and uncertain environments
- concurrent systems
- transition systems
- reactive systems
- model checking
- bounded model checking
- model checker
- autonomous navigation
- formal specification language
- mobile robot
- autonomous systems
- path planning algorithm
- dynamic environments
- motion planning
- formal specification
- obstacle avoidance
- collision avoidance
- multiple robots
- unmanned aerial vehicles
- verification method
- linear temporal logic
- formal verification
- autonomous vehicles
- optimal path
- aerial vehicles
- robot path planning
- belief revision
- collision free
- formal methods