ハミルトン・ヤコビ到達可能性分析以外の手法を用いて時間論理ツリーを構築した場合、提案手法は以下のように適用できます。
制御ポリシーの確認: 構築された時間論理ツリーが制御ポリシーの存在を確認するための手法として利用できます。他の手法で構築されたツリーに対しても、制御ポリシーの存在を検証し、適切な制御入力を合成することが可能です。
最小制限制御入力集合の計算: ハミルトン・ヤコビ到達可能性分析以外の手法で構築された時間論理ツリーに対しても、最小制限制御入力集合を計算する際に提案手法を適用できます。これにより、システムが指定されたタスクを達成するための最適な制御入力を合成することが可能となります。