Temporal Logic Task Allocation in Heterogeneous Multirobot Systems.
Xusheng LuoMichael M. ZavlanosPublished in: IEEE Trans. Robotics (2022)
Keyphrases
- temporal logic
- multi robot
- model checking
- modal logic
- multi robot systems
- satisfiability problem
- reactive systems
- concurrent systems
- distributed systems
- dynamic constraints
- complex systems
- mazurkiewicz traces
- leader follower
- mobile robot
- search algorithm
- formal methods
- path planning
- state space
- linear temporal logic
- bounded model checking
- knowledge base