A flexible linear temporal logic-based data inference architecture for industrial process prediction. - Xu Huo; Ruyu Liu; Haoyu Zhang; Qianneng Tang; Qiqi Liu; Xiufeng Liu 001 (Complex Intell. Syst., 2026)