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}
}