Login / Signup
Decomposition-Based Hierarchical Task Allocation and Planning for Multi-Robots Under Hierarchical Temporal Logic Specifications.
Xusheng Luo
Shaojun Xu
Ruixuan Liu
Changliu Liu
Published in:
IEEE Robotics Autom. Lett. (2024)
Keyphrases
</>
temporal logic
multi robot
model checking
concurrent systems
transition systems
cooperative
model checker
dynamic programming
satisfiability problem
multi agent systems
heuristic search
modal logic
dynamic systems
verification method
bounded model checking