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

Article Details
Title:	Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
Article URLs:	https://doi.org/10.1007/978-3-319-41540-6_1 https://www.wikidata.org/entity/Q62041096
Alternative Article URLs:
Authors:	Marco Gario	Fondazione Bruno Kessler, Trento, Italy
	Alessandro Cimatti	Fondazione Bruno Kessler, Trento, Italy
	Cristian Mattarei	Fondazione Bruno Kessler, Trento, Italy
	Stefano Tonetta	Fondazione Bruno Kessler, Trento, Italy
	Kristin Yvonne Rozier	Iowa State University
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://es-static.fbk.eu/projects/nasa-aac/
Artifact Correspondence Email Addresses:
NSF Award Numbers:	CNS-1552934
DBLP Key:	conf/cav/GarioCMTR16
Author Comments:

Computer Aided Verification, CAV 2016