A formally verified hybrid system for the next-generation airborne collision avoidance system

@inproceedings{DBLP:conf/tacas/JeanninGKGSZP15,
	pdf = {pub/acasx-zones.pdf},
	ref = {DBLP:journals/sttt/JeanninGKSGMP17},
	refname = {STTT'17},
	study = {https://www.ls.cs.cmu.edu/pub/acasx.zip},
	TR = {DBLP:conf/tacas/JeanninGKGSZP15:TR},
	author = {['Jean-Baptiste Jeannin', 'Khalil Ghorbal', 'Yanni Kouskoulas', 'Ryan Gardner', 'Aurora Schmidt', 'Erik Zawadzki', 'André Platzer']},
	title = {A Formally Verified Hybrid System for the
               Next-generation Airborne Collision Avoidance System},
	booktitle = {TACAS},
	year = {2015},
	pages = {21-36},
	doi = {10.1007/978-3-662-46681-0_2},
	editor = {['Christel Baier', 'Cesare Tinelli']},
	longbooktitle = {Tools and Algorithms for the Construction
               and Analysis of Systems - 21st International
         Conference, TACAS 2015, London, UK, April
         11-18, 2015, Proceedings},
	series = {LNCS},
	volume = {9035},
	publisher = {Springer}
}