Formal verification of a controlled flight between two robots: A case study

@misc{Peterson15,
	pdf = {https://www.ls.cs.cmu.edu/pub/theses/apeterson.pdf},
	study = {https://www.ls.cs.cmu.edu/pub/theses/apeterson.zip},
	author = {['Annika Peterson']},
	title = {Formal Verification of a Controlled
        Flight Between Two Robots: A Case Study},
	howpublished = {Senior thesis,
        Carnegie Mellon University, Computer
        Science Department},
	month = {May},
	year = {2015},
	school = {Carnegie Mellon University,
               Computer Science Department}
}