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

@TECHREPORT{DBLP:conf/fm/PlatzerC09:TR,
	ref = {DBLP:conf/fm/PlatzerC09},

  author    = {Andr{\'e} Platzer and
               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}
}```