Safe AI for CPS

@INPROCEEDINGS{DBLP:conf/itc/FultonP18,
	pdf = {pub/itc18.pdf},
	slides = {pub/itc18-slides.pdf},

  author    = {Nathan Fulton and
               Andr{\'{e}} 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},
}```