決定化を回避するタイムラインベースの計画戦略の合成

定性的なタイムラインベースのプランニング問題の「Eager」と呼ばれるフラグメントを特定し、このフラグメントの解が、元の問題に対して指数関数的なサイズの決定性有限オートマトン（DFA）によって認識できることを示します。