Probabilistic Scheduling for Multi-Robot Systems and Automation Applications