Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems.

Qi Zhu, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu

Browse the full ASPDAC paper archive.