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.
Download Paper