Formal verification of the winning strategies of pursuit-evasion games

@MISC{Li22,
	pdf = {https://www.ls.cs.cmu.edu/pub/theses/wli.pdf},

  author    = {Weihan Li},
  title     = {Formal Verification of the Winning Strategies of Pursuit-Evasion Games},
  howpublished = {Master's thesis,
        Carnegie Mellon University, Computer
        Science Department},
  month  = {August},
  year      = {2022},
  school    = {Carnegie Mellon University,
               Computer Science Department},
}```