Run-Time Assurance for Learning-Enabled Systems. - Darren D. Cofer; Isaac Amundson; Ramachandra Sattigeri; Arjun Passi; Christopher Boggs; Eric Smith; Limei Gilham; Taejoon Byun; Sanjai Rayadurgam (NFM, 2020)