Temporal Logic Task Allocation in Heterogeneous Multi-Robot Systems.
Xusheng LuoMichael M. ZavlanosPublished in: CoRR (2021)
Keyphrases
- temporal logic
- multi robot systems
- multi robot
- model checking
- multi robot task allocation
- mobile robot
- modal logic
- path planning
- autonomous robots
- satisfiability problem
- multiple robots
- verification method
- multi agent
- linear temporal logic
- concurrent systems
- formation control
- computation tree logic
- mazurkiewicz traces
- formal specification language
- motion planning
- automata theoretic
- belief revision
- dynamic constraints
- general theory
- robotic systems
- artificial intelligence