Model Checking at Scale: Automated Air Traffic Control Design Space Exploration.

Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier

Browse the full CAV paper archive.