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 = {['Nathan Fulton']},
	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}
}