Formal verification of curved flight collision avoidance maneuvers: A case study

@techreport{DBLP:conf/fm/PlatzerC09:TR,
	ref = {DBLP:conf/fm/PlatzerC09},
	author = {['André Platzer', 'Edmund M. Clarke']},
	title = {Formal Verification of Curved Flight
               Collision Avoidance Maneuvers:
               A Case Study},
	number = {CMU-CS-09-147},
	year = {2009},
	month = {},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2008/CMU-CS-09-147.pdf}
}