ltl-感知算法