Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments.
Kazumune HashimotoNatsuko TsumagariToshimitsu UshioPublished in: ACM Trans. Cyber Phys. Syst. (2022)
Keyphrases
- path planning
- temporal logic
- uncertain environments
- multi robot
- dynamic and uncertain environments
- concurrent systems
- transition systems
- model checking
- reactive systems
- model checker
- bounded model checking
- formal specification language
- autonomous navigation
- mobile robot
- autonomous systems
- path planning algorithm
- collision avoidance
- dynamic environments
- motion planning
- obstacle avoidance
- formal specification
- multiple robots
- formal verification
- optimal path
- verification method
- unmanned aerial vehicles
- aerial vehicles
- behavior recognition
- robot path planning
- image sequences