Skip to main content


Searching for OpenAIRE data...


How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks

Author(s): Jin, Gaojie; Yi, Xinping; Zhang, Liang; Zhang, Lijun; Schewe, Sven; Huang, Xiaowei
Published in: 34th Conference on Neural Information Processing Systems (NeurIPS 2020), Issue 1, 2020

Continuous Safety Verification of Neural Networks

Author(s): Chih-Hong Cheng, Rongjie Yan
Published in: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, Page(s) 1478-1483
DOI: 10.23919/date51398.2021.9473994

Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving

Author(s): Jean Pierre Allamaa, Petr Listov, Herman Van der Auweraer, Colin Jones, Tong Duy Son
Published in: American Control Conference (ACC) 2022, 2021

Safe Imitation Learning on Real-Life Highway Data for Human-like Autonomous Driving

Author(s): Flavia Sofia Acerbo, Mohsen Alirezaei, Herman Van der Auweraer, Tong Duy Son.
Published in: 24th IEEE International Conference on Intelligent Transportation - ITSC2021, 2021

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions

Author(s): Chen, Yuhang; Cheng, Chih-Hong; Yan, Jun; Yan, Rongjie
Published in: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2021), 2021

Provably-Robust Runtime Monitoring of Neuron Activation Patterns

Author(s): Chih-Hong Cheng
Published in: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, Page(s) 1310-1313
DOI: 10.23919/date51398.2021.9473957

Safety and reliability of deep learning - (brief overview)

Author(s): Xiaowei Huang
Published in: Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems, 2021, Page(s) 1-2
DOI: 10.1145/3459086.3459636

Coverage-Guided Testing for Recurrent Neural Networks

Author(s): Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
Published in: IEEE Transactions on Reliability, 2021, Page(s) 1-16, ISSN 0018-9529
DOI: 10.1109/tr.2021.3080664