動的環境における線形時間論理仕様の実行可能および不可能なタスクに対する漸進的最適再計画アルゴリズム

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