Runtime Assurance for Intelligent Cyber-Physical Systems. - Vlada Dementyeva; Cameron Hickert; Nicolas R. Sarfaraz; Sebastián A. Zanlongo; Tamim Sookoor (ICCPS, 2022)