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', 'Tze Meng Low', 'Stefan Mitsch', 'Juan Paolo Mendoza', 'Liangyan Gui', 'Amarin Phaosawasdi', 'David Padua', 'Soummya Kar', 'José M. F. Moura', 'Mike Franusich', 'Jeremy Johnson', 'André Platzer', '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}
}