Reactive Temporal Logic-Based Precursor Detection Algorithm for Terminal Airspace Operations
Published in Journal of Air Transportation, 2020
Recommended citation: Deshmukh, Raj, et al. "Reactive Temporal Logic-Based Precursor Detection Algorithm for Terminal Airspace Operations." Journal of Air Transportation 28.4 (2020): 155-163. https://arc.aiaa.org/doi/10.2514/1.D0182