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