Verification plays an essential role in the formal analysis of
safety-cr...
Inspired by the recent success of sequence modeling in RL and the use of...
Deep neural networks (DNNs) are known to be vulnerable to adversarial
ge...
Neural network controllers (NNCs) have shown great promise in autonomous...
Objective: Peritoneal Dialysis (PD) is one of the most widely used
life-...
Cooperative multi-agent reinforcement learning (c-MARL) is widely applie...
Intelligent robots rely on object detection models to perceive the
envir...
Recent research on the robustness of deep learning has shown that Vision...
The adversarial attack can force a CNN-based model to produce an incorre...
3D point cloud models are widely applied in safety-critical scenes, whic...
In safety-critical deep learning applications robustness measurement is ...
In recent years, a significant amount of research efforts concentrated o...
This tutorial aims to introduce the fundamentals of adversarial robustne...
Deep learning achieves remarkable performance on pattern recognition, bu...
As the research in deep neural networks advances, deep convolutional net...
Adversarial training is arguably an effective but time-consuming way to ...
Although there are a great number of adversarial attacks on deep learnin...
The previous study has shown that universal adversarial attacks can fool...
Black-box nature hinders the deployment of many high-accuracy models in
...
Safety concerns on the deep neural networks (DNNs) have been raised when...
Due to the characteristics of COVID-19, the epidemic develops rapidly an...
Because of its important role in health policy-shaping, population healt...
Predicting the patient's clinical outcome from the historical electronic...
Deep learning-based health status representation learning and clinical
p...
In the past few years, significant progress has been made on deep neural...
Despite the improved accuracy of deep neural networks, the discovery of
...
Verifying correctness of deep neural networks (DNNs) is challenging. We ...
Concolic testing alternates between CONCrete program execution and symbO...
Deployment of deep neural networks (DNNs) in safety or security-critical...