
Title |
|---|
![]() A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View DetectionAAAI Conference on Artificial Intelligence (AAAI), 2024 |
![]() DEM: A Method for Certifying Deep Neural Network Classifier Outputs in
AerospaceSymposium on Dependable Autonomic and Secure Computing (DASC), 2024 |
![]() Model-Agnostic Reachability Analysis on Deep Neural NetworksPacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD), 2023 |
![]() Towards Verifying the Geometric Robustness of Large-scale Neural
NetworksAAAI Conference on Artificial Intelligence (AAAI), 2023 |
![]() Reachability Analysis of Neural Network Control SystemsAAAI Conference on Artificial Intelligence (AAAI), 2023 |
![]() Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement
LearningAAAI Conference on Artificial Intelligence (AAAI), 2022 |