VALIO: Visual attention-based linear temporal logic method for explainable out-of-the-loop identification

Mengtao Lyu, Fan Li, Ching-Hung Lee, Chun-Hsien Chen

Abstract: Highlights•Introduces a novel approach to encode the temporal–spatial information of visual attention.•Leverages Linear-Temporal-Logic method to process the eye-tracking data.•Proposes a framework for Explainable Out-Of-The-Loop (OOTL) Identification in aviation.•Utilizes a case study to find the optimal time window for OOTL identification.•Provides insights into pilots behaviors when experiencing the OOTL phenomenon.