On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models. - Peiyuan Zhou; Saswata Paul; Airin Dutta; Carlos A. Varela; Fotis Kopsaftopoulos (DDDAS, 2022)