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    = {Bohrer, Rose},
  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},
}```