A Probabilistic Technique for Allocation of Tasks With Priorities in a School of Autonomous Mobile Robots