動的に変化する環境において、線形時間論理仕様に基づくタスク計画の最適な再計画アルゴリズムを提案する。実行可能なタスクと不可能なタスクの両方に対して、最小限の仕様違反で最適な再計画ソリューションを見つける。