TY  - SER
AU  - Cheng, Jingde
AU  - Zhu, Zhililang
AU  - Goto, Yuichi
AU  - Shi, Kai
TI  - Anticipatory Runway Incursion Prevention Systems
KW  - Runway Incursion Prevention
KW  - Logic-Based Reasoning
KW  - Anticipatory Computing
ER  -