Practical end-to-end verification of cyber-physical systems

@phdthesis{Bohrer21,
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2021/CMU-CS-21-115.pdf},
	slides = {https://www.ls.cs.cmu.edu/pub/theses/bohrer-slides.pdf},
	study = {https://www.ls.cs.cmu.edu/pub/theses/bohrer-study.zip},
	author = {['Rose Bohrer']},
	school = {Computer Science Department,
               School of Computer Science,
               Carnegie Mellon University},
	title = {Practical End-to-End Verification of Cyber-Physical Systems},
	year = {2021},
	url = {http://reports-archive.adm.cs.cmu.edu/anon/2021/CMU-CS-21-115.pdf}
}