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

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]

Authors

Qi Zhu 0002

This author has not been identified. Look up 'Qi Zhu 0002' in Google

Chao Huang

This author has not been identified. Look up 'Chao Huang' in Google

Ruochen Jiao

This author has not been identified. Look up 'Ruochen Jiao' in Google

Shuyue Lan

This author has not been identified. Look up 'Shuyue Lan' in Google

Hengyi Liang

This author has not been identified. Look up 'Hengyi Liang' in Google

Xiangguo Liu

This author has not been identified. Look up 'Xiangguo Liu' in Google

Yixuan Wang

This author has not been identified. Look up 'Yixuan Wang' in Google

Zhilu Wang

This author has not been identified. Look up 'Zhilu Wang' in Google

Shichao Xu

This author has not been identified. Look up 'Shichao Xu' in Google