Verifiably safe autonomy for cyber-physical systems

@PHDTHESIS{Fulton18,
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2018/CMU-CS-18-125.pdf},

  author    = {Fulton, Nathan},
  school    = {Computer Science Department,
             School of Computer Science,
             Carnegie Mellon University},
  title     = {Verifiably Safe Autonomy for Cyber-Physical Systems},
  year      = {2018},
  url       = {http://reports-archive.adm.cs.cmu.edu/anon/2018/CMU-CS-18-125.pdf},
}```