時間制約付き部分順序仕様に基づく最適な計画立案

複数のロボットが時間制約付き部分順序仕様に従って作業を行う際の最適な計画立案手法を提案する。