Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. - Zhibin Yang; Yang Bao 007; Yongqiang Yang; Zhiqiu Huang; Jean-Paul Bodeveix; Mamoun Filali; Zonghua Gu 001 (Formal Aspects Comput., 2021)