Safe AI for CPS

@inproceedings{DBLP:conf/itc/FultonP18,
	pdf = {pub/itc18.pdf},
	slides = {pub/itc18-slides.pdf},
	author = {['Nathan Fulton', 'André Platzer']},
	title = {Safe AI for CPS},
	booktitle = {IEEE International Test Conference,
               ITC 2018, Phoenix, AZ, USA,
               October 29 - Nov. 1, 2018},
	pages = {},
	year = {2018},
	publisher = {IEEE},
	doi = {10.1109/TEST.2018.8624774},
	isbn = {978-1-5386-8382-8}
}