Based on this formal description method, a noel market-based wholly distributed multi-robot task allocation method is proposed.

• 基于这种形式化描述方法，提出了一种采用市场机制的完全分布式的多机器人任务分配方法。