SmartATMS: A Simulator for Air Traffic Management Systems.

Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire J. Tomlin

Browse the full WSC paper archive.