Temporal logic learning-based anomaly detection in metroplex terminal airspace operations. (May 2021)