• Comparing Different Functional Allocations in Automated Air Traffic Control Design
  Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, and Kristin Y. Rozier. FMCAD2015.
  • Paper
  • Slides
  • Models and, results
• Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
  Marco Gario , Alessandro Cimatti , Cristian Mattarei , Stefano Tonetta , and Kristin Yvonne Rozier. CAV2016.
  • Paper
  • Slides
  • VM Artifact Evaluation CAV 2016

For any remarks or questions about the artifacts, please contact: mattarei at fbk dot eu