The following publications are possibly variants of this publication:
- Adversarial robustness of deep neural networks: A survey from a formal verification perspectiveMeng, Mark Huasong, Bai, Guangdong, Teo, Sin Gee, Hou, Zhe, Xiao, Yan, Lin, Yun, Dong, Jin Song. IEEE Transactions on Dependable and Secure Computing, , 2022.
- DDK: A Deep Koopman Approach for Longitudinal and Lateral Control of Autonomous Ground VehiclesYongqian Xiao, Xinglong Zhang, Xin Xu 0001, Yang Lu, Junxiang Li. icra 2023: 975-981 [doi]