High-assurance SPIRAL: End-to-end guarantees for robot and car control

@ARTICLE{DBLP:journals/csm/FranchettiLMMGPPKMFJPV17,
	pdf = {https://users.ece.cmu.edu/~franzf/papers/has2017.pdf},

  author    = {Franz Franchetti and
               Tze Meng Low and
               Stefan Mitsch and
               Juan Paolo Mendoza and
               Liangyan Gui and
               Amarin Phaosawasdi and
               David Padua and
               Soummya Kar and
               Jos\'e M. F. Moura and
               Mike Franusich and
               Jeremy Johnson and
               Andr{\'e} Platzer and
               Manuela Veloso},
  title     = {High-Assurance {SPIRAL}:
               End-to-End Guarantees for Robot
               and Car Control},
  journal   = {IEEE Control Systems},
  year      = {2017},
  volume    = {37},
  number    = {2},
  pages     = {82-103},
  doi       = {10.1109/MCS.2016.2643244},
}```