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