ResearchBenchmarksTrajectory Classification on Naval Dataset (Pdep)Follow2.5Misclassification RateLSTM/RNN2.323.5354.755.965Mar 28, 2026Evaluation ResultsMethodMethodLinksMisclassification RateLSTM/RNNTime(s)=19Time(s)=192026.032.5TLINetTime(s)=38, STL formul...Time(s)=38, STL formula=♢[55,60](x < 25.89) ∧ □[0,16](y > 23.77)2026.035OursTime(s)=16, STL formul...Time(s)=16, STL formula=♢[25,26](x ≤ 38.6) ∧ □[11,12](y ≥ 24.1)2026.037