Formal verification of next-generation airborne collision avoidance system with adversarial intruder behavior

@MISC{Cleaveland21,
	pdf = {https://www.ls.cs.cmu.edu/pub/theses/rcleaveland.pdf},
	slides = {https://www.ls.cs.cmu.edu/pub/theses/rcleaveland-slides.pdf},
	ref = {DBLP:journals/tecs/CleavelandMP23},
	refname = {TECS'23},
	study = {https://www.ls.cs.cmu.edu/pub/theses/rcleaveland.zip},

  author    = {Rachel Cleaveland},
  title     = {Formal Verification of Next-Generation Airborne Collision Avoidance System with Adversarial Intruder Behavior},
  howpublished = {Senior thesis,
        Carnegie Mellon University, Computer
        Science Department},
  month  = {May},
  year      = {2021},
  school    = {Carnegie Mellon University,
               Computer Science Department},
}```