本稿では、公共建物の清掃ロボット集団を例に、最適化目標、安全性、および環境の不確実性に対するロバスト性を考慮した、反復タスクを持つロボット集団のためのコントローラ合成のための定量的確率論的アプローチを提案しています。