Probabilistic model checking for comparative analysis of automated air traffic control systems.

Yang Zhao, Kristin Y. Rozier

Browse the full ICCAD paper archive.