Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiaowei Huang 0001
Person information
- affiliation: University of Liverpool, UK
- affiliation: University of Oxford, UK
- affiliation: University of New South Wales, Sydney, Australia
- affiliation: Jinan University, Guangzhou, China
- affiliation: Chinese Academy of Sciences, Academy of Mathematics and System Science, Beijing, China
Other persons with the same name
- Xiaowei Huang (aka: Xiao-Wei Huang) — disambiguation page
- Xiaowei Huang 0002
![[0000-0002-7625-6198]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-7625-6198")
— Chinese Academy of Sciences, Shenzhen Institutes of Advanced Technology, Shenzhen, China (and 1 more) - Xiaowei Huang 0003 — Wuhan University of Technology, Wuhan, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[b1]Xiaowei Huang, Gaojie Jin, Wenjie Ruan:
Machine Learning Safety. Artificial Intelligence: Foundations, Theory, and Algorithms, Springer 2023, ISBN 978-981-19-6813-6, pp. 3-263- [j23]Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang:
Generalizing universal adversarial perturbations for deep neural networks. Mach. Learn. 112(5): 1597-1626 (2023) - [j22]Kaiwen Cai, Chris Xiaoxuan Lu, Xiaowei Huang:
Uncertainty Estimation for 3D Dense Prediction via Cross-Point Embeddings. IEEE Robotics Autom. Lett. 8(5): 2558-2565 (2023) - [j21]Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang:
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM Trans. Embed. Comput. Syst. 22(3): 48:1-48:48 (2023) - [j20]Yanda Meng, Joshua Bridge, Yitian Zhao, Martha Joddrell, Yihong Qiao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng:
Transportation Object Counting With Graph-Based Adaptive Auxiliary Learning. IEEE Trans. Intell. Transp. Syst. 24(3): 3422-3437 (2023) - [c74]Zihao Zhou, Maizhen Ning, Qiufeng Wang, Jie Yao, Wei Wang, Xiaowei Huang, Kaizhu Huang:
Learning by Analogy: Diverse Questions Generation in Math Word Problem. ACL (Findings) 2023: 11091-11104 - [c73]Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang:
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. AAMAS 2023: 1421-1429 - [c72]Gaojie Jin, Xinping Yi, Dengyu Wu, Ronghui Mu, Xiaowei Huang:
Randomized Adversarial Training via Taylor Expansion. CVPR 2023: 16447-16457 - [c71]Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang:
Short-term Load Forecasting with Distributed Long Short-Term Memory. ISGT 2023: 1-5 - [c70]Chi Zhang, Wenjie Ruan, Fu Wang, Peipei Xu, Geyong Min, Xiaowei Huang:
Model-Agnostic Reachability Analysis on Deep Neural Networks. PAKDD (1) 2023: 341-354 - [e9]Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid:
Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), Washington DC, USA, February 13-14, 2023. CEUR Workshop Proceedings 3381, CEUR-WS.org 2023 [contents] - [i58]Dengyu Wu, Gaojie Jin, Han Yu, Xinping Yi, Xiaowei Huang:
Optimising Event-Driven Spiking Neural Network with Regularisation and Cutoff. CoRR abs/2301.09522 (2023) - [i57]Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang:
Towards Verifying the Geometric Robustness of Large-scale Neural Networks. CoRR abs/2301.12456 (2023) - [i56]Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang:
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. CoRR abs/2302.01728 (2023) - [i55]Yi Qi, Yi Dong, Xingyu Zhao, Xiaowei Huang:
STPA for Learning-Enabled Systems: A Survey and A New Method. CoRR abs/2302.10588 (2023) - [i54]Gaojie Jin, Xinping Yi, Dengyu Wu, Ronghui Mu, Xiaowei Huang:
Randomized Adversarial Training via Taylor Expansion. CoRR abs/2303.10653 (2023) - [i53]Chi Zhang, Wenjie Ruan, Fu Wang, Peipei Xu, Geyong Min, Xiaowei Huang:
Model-Agnostic Reachability Analysis on Deep Neural Networks. CoRR abs/2304.00813 (2023) - [i52]Yi Qi, Xingyu Zhao, Xiaowei Huang:
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT. CoRR abs/2304.01246 (2023) - [i51]Zihao Zhou, Maizhen Ning, Qiufeng Wang, Jie Yao, Wei Wang, Xiaowei Huang, Kaizhu Huang:
Learning by Analogy: Diverse Questions Generation in Math Word Problem. CoRR abs/2306.09064 (2023) - [i50]Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Xiaowei Huang:
Risk Controlled Image Retrieval. CoRR abs/2307.07336 (2023) - [i49]Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang:
A Symbolic Character-Aware Model for Solving Geometry Problems. CoRR abs/2308.02823 (2023) - [i48]Zihao Zhou, Qiufeng Wang, Mingyu Jin, Jie Yao, Jianan Ye, Wei Liu, Wei Wang, Xiaowei Huang, Kaizhu Huang:
MathAttack: Attacking Large Language Models Towards Math Solving Ability. CoRR abs/2309.01686 (2023) - [i47]Jiaxu Liu, Xinping Yi, Tianle Zhang, Xiaowei Huang:
Symplectic Structure-Aware Hamiltonian (Graph) Embeddings. CoRR abs/2309.04885 (2023) - 2022
- [j19]Xiaowei Huang, Bei Peng, Xingyu Zhao:
Dependable learning-enabled multiagent systems. AI Commun. 35(4): 407-420 (2022) - [j18]Wei Huang, Xingyu Zhao, Xiaowei Huang:
Embedding and extraction of knowledge in tree ensemble classifiers. Mach. Learn. 111(5): 1925-1958 (2022) - [j17]Dingyuan Zheng, Jimin Xiao, Ke Chen, Xiaowei Huang, Lin Chen, Yao Zhao:
Soft pseudo-Label shrinkage for unsupervised domain adaptive person re-identification. Pattern Recognit. 127: 108615 (2022) - [j16]Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang:
Editorial to theme section on open environmental software systems modeling. Softw. Syst. Model. 21(4): 1273-1275 (2022) - [j15]Yanda Meng, Hongrun Zhang, Yitian Zhao, Xiaoyun Yang, Yihong Qiao, Ian J. C. MacCormick, Xiaowei Huang, Yalin Zheng:
Graph-Based Region and Boundary Aggregation for Biomedical Image Segmentation. IEEE Trans. Medical Imaging 41(3): 690-701 (2022) - [j14]Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang:
Weight Expansion: A New Perspective on Dropout and Generalization. Trans. Mach. Learn. Res. 2022 (2022) - [j13]Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang:
Coverage-Guided Testing for Recurrent Neural Networks. IEEE Trans. Reliab. 71(3): 1191-1206 (2022) - [c69]Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang:
Quantifying the Importance of Latent Features in Neural Networks. SafeAI@AAAI 2022 - [c68]Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Luján, Xiaowei Huang, Lucas C. Cordeiro:
EnnCore: End-to-End Conceptual Guarding of Neural Architectures. SafeAI@AAAI 2022 - [c67]Alvaro Gunawan, Ji Ruan, Xiaowei Huang:
A Graph Neural Network Reasoner for Game Description Language. AAMAS 2022: 1607-1609 - [c66]Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang:
Enhancing Adversarial Training with Second-Order Statistics of Weights. CVPR 2022: 15252-15262 - [c65]Ganlin Liu, Xiaowei Huang, Xinping Yi:
Adversarial Label Poisoning Attack on Graph Neural Networks via Label Propagation. ECCV (5) 2022: 227-243 - [c64]Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao:
Bridging Formal Methods and Machine Learning with Global Optimisation. ICFEM 2022: 1-19 - [c63]Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang:
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. AISafety@IJCAI 2022 - [c62]Yi Dong, Xingyu Zhao, Xiaowei Huang:
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. IROS 2022: 5171-5178 - [c61]Alvaro Gunawan, Ji Ruan, Xiaowei Huang:
A Graph Neural Network Reasoner for Game Description Language. KR 2022 - [e8]Gabriel Pedroza, José Hernández-Orallo, Xin Cynthia Chen, Xiaowei Huang, Huáscar Espinoza, Mauricio Castillo-Effen, John A. McDermid, Richard Mallah, Seán Ó hÉigeartaigh:
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), Virtual, February, 2022. CEUR Workshop Proceedings 3087, CEUR-WS.org 2022 [contents] - [e7]Gabriel Pedroza, Xin Cynthia Chen, José Hernández-Orallo, Xiaowei Huang, Huáscar Espinoza, Richard Mallah, John A. McDermid, Mauricio Castillo-Effen:
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), Vienna, Austria, July 24-25, 2022. CEUR Workshop Proceedings 3215, CEUR-WS.org 2022 [contents] - [i46]Gaojie Jin, Xinping Yi, Xiaowei Huang:
Neuronal Correlation: a Central Concept in Neural Network. CoRR abs/2201.09069 (2022) - [i45]Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang:
Weight Expansion: A New Perspective on Dropout and Generalization. CoRR abs/2201.09209 (2022) - [i44]Yanda Meng, Joshua Bridge, Meng Wei, Yitian Zhao, Yihong Qiao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng:
Counting with Adaptive Auxiliary Learning. CoRR abs/2203.04061 (2022) - [i43]Yanda Meng, Xu Chen, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Yihong Qiao, Xiaowei Huang, Yalin Zheng:
3D Dense Face Alignment with Fused Features by Aggregating CNNs and GCNs. CoRR abs/2203.04643 (2022) - [i42]Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang:
Enhancing Adversarial Training with Second-Order Statistics of Weights. CoRR abs/2203.06020 (2022) - [i41]Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang:
Hierarchical Distribution-Aware Testing of Deep Learning. CoRR abs/2205.08589 (2022) - [i40]Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang:
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. CoRR abs/2206.10216 (2022) - [i39]Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang:
Short-term Load Forecasting with Distributed Long Short-Term Memory. CoRR abs/2208.01147 (2022) - [i38]Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang:
SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. CoRR abs/2208.09418 (2022) - [i37]Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang:
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. CoRR abs/2210.14991 (2022) - 2021
- [j12]Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang:
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Aspects Comput. 33(3): 407-435 (2021) - [j11]Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster:
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10(2): 67 (2021) - [c60]Yanda Meng, Hongrun Zhang, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng:
BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation. BMVC 2021: 223 - [c59]Wenjie Ruan, Xinping Yi, Xiaowei Huang:
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications. CIKM 2021: 4866-4869 - [c58]Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang:
Detecting Operational Adversarial Examples for Reliable Deep Learning. DSN (Supplements) 2021: 5-6 - [c57]Chengqiang Huang, Hu Zheng, Xiaowei Huang, Ke Pei:
Statistical Certification of Acceptable Robustness for Neural Networks. ICANN (1) 2021: 79-90 - [c56]Yanda Meng, Hongrun Zhang, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng:
Spatial Uncertainty-Aware Semi-Supervised Crowd Counting. ICCV 2021: 15529-15539 - [c55]Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang:
A Segment-Based Layout Aware Model for Information Extraction on Document Images. ICONIP (5) 2021: 757-765 - [c54]Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang:
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. AISafety@IJCAI 2021 - [c53]Xingyu Zhao, Wei Huang, Xiaowei Huang, Valentin Robu, David Flynn:
BayLIME: Bayesian local interpretable model-agnostic explanations. UAI 2021: 887-896 - [e6]Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah:
Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), Virtual, February 8, 2021. CEUR Workshop Proceedings 2808, CEUR-WS.org 2021 [contents] - [e5]Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah, Gabriel Pedroza:
Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), Virtual, August, 2021. CEUR Workshop Proceedings 2916, CEUR-WS.org 2021 [contents] - [i36]Dengyu Wu, Xinping Yi, Xiaowei Huang:
A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks. CoRR abs/2103.00944 (2021) - [i35]Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang:
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. CoRR abs/2103.03704 (2021) - [i34]Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang:
Detecting Operational Adversarial Examples for Reliable Deep Learning. CoRR abs/2104.06015 (2021) - [i33]Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang:
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. CoRR abs/2106.01258 (2021) - [i32]Yanda Meng, Hongrun Zhang, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng:
Spatial Uncertainty-Aware Semi-Supervised Crowd Counting. CoRR abs/2107.13271 (2021) - [i31]Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang:
Tutorials on Testing Neural Networks. CoRR abs/2108.01734 (2021) - [i30]Wenjie Ruan, Xinping Yi, Xiaowei Huang:
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications. CoRR abs/2108.10451 (2021) - [i29]Yi Dong, Xingyu Zhao, Xiaowei Huang:
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems. CoRR abs/2109.06523 (2021) - [i28]Yanda Meng, Hongrun Zhang, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng:
BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation. CoRR abs/2110.14775 (2021) - [i27]Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang:
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. CoRR abs/2112.00646 (2021) - 2020
- [j10]Grace Bang, Guy Barash, Ryan Beal, Jacques Calì, Mauricio Castillo-Effen, Xin Cynthia Chen, Niyati Chhaya, Rachel Cummings, Rohan Dhoopar, Sebastijan Dumancic, Huáscar Espinoza, Eitan Farchi, Ferdinando Fioretto, Raquel Fuentetaja, Christopher William Geib, Odd Erik Gundersen, José Hernández-Orallo, Xiaowei Huang, Kokil Jaidka, Sarah Keren, Seokhwan Kim, Michel Galley, Xiaomo Liu, Tyler Lu, Zhiqiang Ma, Richard Mallah, John A. McDermid, Martin Michalowski, Reuth Mirsky, Seán Ó hÉigeartaigh, Deepak Ramachandran, Javier Segovia Aguas, Onn Shehory, Arash Shaban-Nejad, Vered Shwartz, Siddharth Srivastava, Kartik Talamadupula, Jian Tang, Pascal Van Hentenryck, Dell Zhang, Jian Zhang:
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. 41(4): 100-114 (2020) - [j9]Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi:
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. Comput. Sci. Rev. 37: 100270 (2020) - [j8]Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
A game-based approximate verification of deep neural networks with provable guarantees. Theor. Comput. Sci. 807: 298-329 (2020) - [c52]Yanda Meng, Wei Meng, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng:
Regression of Instance Boundary by Aggregated CNN and GCN. ECCV (8) 2020: 190-207 - [c51]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
Explaining Image Classifiers Using Statistical Fault Localization. ECCV (28) 2020: 391-406 - [c50]Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang:
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. ICDM 2020: 1412-1417 - [c49]Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang:
Reliability Validation of Learning Enabled Vehicle Tracking. ICRA 2020: 9390-9396 - [c48]Kangshi Wang, Dou Hong, Jieming Ma, Ka Lok Man, Kaizhu Huang, Xiaowei Huang:
Maximum Power Point Tracking of Photovoltaic Systems Using Deep Q-networks. INDIN 2020: 100-103 - [c47]Wei Huang, Yifan Zhou, Youcheng Sun, James Sharp, Simon Maskell, Xiaowei Huang:
Practical Verification of Neural Network Enabled State Estimation System for Robotics. IROS 2020: 7336-7343 - [c46]Yanda Meng, Meng Wei, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng:
CNN-GCN Aggregation Enabled Boundary Regression for Biomedical Image Segmentation. MICCAI (4) 2020: 352-362 - [c45]Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang:
How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks? NeurIPS 2020 - [c44]Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang:
A Safety Framework for Critical Systems Utilising Deep Neural Networks. SAFECOMP 2020: 244-259 - [c43]Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns:
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE 2020: 1630-1634 - [c42]Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis:
Adaptable and Verifiable BDI Reasoning. AREA@ECAI 2020: 117-125 - [e4]Huáscar Espinoza, José Hernández-Orallo, Xin Cynthia Chen, Seán S. ÓhÉigeartaigh, Xiaowei Huang, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid:
Proceedings of the Workshop on Artificial Intelligence Safety, co-located with 34th AAAI Conference on Artificial Intelligence, SafeAI@AAAI 2020, New York City, NY, USA, February 7, 2020. CEUR Workshop Proceedings 2560, CEUR-WS.org 2020 [contents] - [e3]Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah:
Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), Yokohama, Japan, January, 2021. CEUR Workshop Proceedings 2640, CEUR-WS.org 2020 [contents] - [i26]Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang:
Reliability Validation of Learning Enabled Vehicle Tracking. CoRR abs/2002.02424 (2020) - [i25]Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang:
A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR abs/2003.05311 (2020) - [i24]João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang:
Generating Adversarial Inputs Using A Black-box Differential Technique. CoRR abs/2007.05315 (2020) - [i23]Zhixuan Xu, Minghui Qian, Xiaowei Huang, Jie Meng:
CasGCN: Predicting future cascade growth based on information diffusion graph. CoRR abs/2009.05152 (2020) - [i22]Peipei Xu, Wenjie Ruan, Xiaowei Huang:
Towards the Quantification of Safety Risks in Deep Neural Networks. CoRR abs/2009.06114 (2020) - [i21]Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang:
How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks. CoRR abs/2010.05983 (2020) - [i20]Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang:
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. CoRR abs/2010.07788 (2020) - [i19]Wei Huang, Xingyu Zhao, Xiaowei Huang:
Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers. CoRR abs/2010.08281 (2020) - [i18]Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang:
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics. CoRR abs/2010.08311 (2020) - [i17]Xingyu Zhao, Xiaowei Huang, Valentin Robu, David Flynn:
BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations. CoRR abs/2012.03058 (2020)
2010 – 2019
- 2019
- [j7]Guy Barash, Mauricio Castillo-Effen, Niyati Chhaya, Peter Clark, Huáscar Espinoza, Eitan Farchi, Christopher W. Geib, Odd Erik Gundersen, Seán Ó hÉigeartaigh, José Hernández-Orallo, Chiori Hori, Xiaowei Huang, Kokil Jaidka, Pavan Kapanipathi, Sarah Keren, Seokhwan Kim, Marc Lanctot, Danny Lange, Julian J. McAuley, David R. Martinez, Marwan Mattar, Mausam, Martin Michalowski, Reuth Mirsky, Roozbeh Mottaghi, Joseph C. Osborn, Julien Pérolat, Martin Schmid, Arash Shaban-Nejad, Onn Shehory, Biplav Srivastava, William W. Streilein, Kartik Talamadupula, Julian Togelius, Koichiro Yoshino, Quanshi Zhang, Imed Zitouni:
Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence. AI Mag. 40(3): 67-78 (2019) - [j6]Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore:
Structural Test Coverage Criteria for Deep Neural Networks. ACM Trans. Embed. Comput. Syst. 18(5s): 94:1-94:23 (2019) - [j5]Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. ACM Trans. Comput. Log. 20(4): 21:1-21:64 (2019) - [c41]Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore:
DeepConcolic: testing and debugging deep neural networks. ICSE (Companion Volume) 2019: 111-114 - [c40]Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore:
Structural test coverage criteria for deep neural networks. ICSE (Companion Volume) 2019: 320-321 - [c39]Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska:
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. IJCAI 2019: 5944-5952 - [c38]Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska:
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. IROS 2019: 6210-6216 - [c37]Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang:
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. SAS 2019: 296-319 - [c36]Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM 2019: 105-124 - [e2]Huáscar Espinoza, Seán Ó hÉigeartaigh, Xiaowei Huang, José Hernández-Orallo, Mauricio Castillo-Effen:
Workshop on Artificial Intelligence Safety 2019 co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 (AAAI-19), Honolulu, Hawaii, January 27, 2019. CEUR Workshop Proceedings 2301, CEUR-WS.org 2019 [contents] - [e1]