Qi Zhu 0002, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu. Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. In ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, Tokyo, Japan, January 18-21, 2021. pages 753-760, ACM, 2021. [doi]
Abstract is missing.