Xiaowei Huang

320 papers A* 45A 18B 7C 4Misc 8Journal 182Unranked 44
YearRankTypeTitle / Venue / Authors
2026 J jnl
Adversarial Training for Graph Neural Networks via Graph Subspace Energy Optimization.
IEEE Trans. Inf. Forensics Secur.
Ganlin Liu, Ziling Liang, Xiaowei Huang, Xinping Yi, Shi Jin
2026 J jnl
Contrastive prompt clustering for weakly supervised semantic segmentation.
Expert Syst. Appl.
Wangyu Wu, Zhenhong Chen, Xiaowen Ma, Wenqiao Zhang, Xianglin Qiu, Siqi Song, Xiaowei Huang, Fei Ma, Jimin Xiao
2026 J jnl
DiffClick: Click-differentiated enhancement network for interactive segmentation.
Pattern Recognit.
Siqi Song, Siyue Yu, Huiyu Zhou, Xiaowei Huang, Limin Yu, Jimin Xiao
2026 — conf
Efficient Repair of Binarized Neural Networks Using Binary Activation Lookup Tables.
ICAART (3)
Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang
2026 — conf
Formal Analysis of Hopfield Networks through 0-1 Integer Linear Programming and SMT Solving.
ICAART (2)
Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang
2026 A* conf
Fragile by Design: On the Limits of Adversarial Defenses in Personalized DreamBooth Generation.
AAAI
Zhen Chen, Yi Zhang, Xiangyu Yin, Chengxuan Qin, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2026 J jnl
Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage.
CoRR
Jinwei Hu, Xinmiao Huang, Youcheng Sun, Yi Dong, Xiaowei Huang
2026 J jnl
Preference alignment on diffusion models: A comprehensive survey for image generation and editing.
Comput. Sci. Rev.
Sihao Wu, Xiaonan Si, Chi Xing, Jianhong Wang, Gaojie Jin, Guangliang Cheng, Xiaowei Huang
2026 J jnl
Revisiting Out-of-Distribution Detection in Real-Time Object Detection: From Benchmark Pitfalls to a New Mitigation Paradigm.
IEEE Trans. Pattern Anal. Mach. Intell.
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2026 J jnl
S2O: Enhancing Adversarial Training with Second-Order Statistics of Weights.
CoRR
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
2026 J jnl
Tag-Enriched Multi-Attention With Large Language Models for Cross-Domain Sequential Recommendation.
IEEE Trans. Consumer Electron.
Wangyu Wu, Xuhang Chen, Zhenhong Chen, Jing-En Jiang, Kim-Fung Tsang, Xiaowei Huang, Fei Ma, Jimin Xiao
2026 A* conf
Tapas Are Free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments.
AAAI
Jinwei Hu, Yi Dong, Youcheng Sun, Xiaowei Huang
2026 J jnl
Towards A Unified PAC-Bayesian Framework for Norm-based Generalization Bounds.
CoRR
Xinping Yi, Gaojie Jin, Xiaowei Huang, Shi Jin
2026 J jnl
Trustworthy text-to-image diffusion models: A timely and focused survey.
Inf. Fusion
Yi Zhang, Zhen Chen, Chih-Hong Cheng, Wenjie Ruan, Xiaowei Huang, Dezong Zhao, David Flynn, Siddartha Khastgir, Xingyu Zhao
2026 J jnl
Two-stage transfer learning for airborne multi-spectral image classifiers.
Signal Process.
Benjamin Rise, Murat Uney, Xiaowei Huang
2026 J jnl
You look from old classes: Towards accurate few shot class-incremental learning.
Pattern Recognit.
Yijie Hu, Kaizhu Huang, Wei Wang, Xiaowei Huang, Qiu-Feng Wang
2025 A* conf
A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detection.
AAAI
Fu Wang, Yanghao Zhang, Xiangyu Yin, Guangliang Cheng, Zeyu Fu, Xiaowei Huang, Wenjie Ruan
2025 J jnl
Activation Steering Meets Preference Optimization: Defense Against Jailbreaks in Vision Language Models.
CoRR
Sihao Wu, Gaojie Jin, Wei Huang, Jianhong Wang, Xiaowei Huang
2025 J jnl
Adaptive Patch Contrast for Weakly Supervised Semantic Segmentation.
Eng. Appl. Artif. Intell.
Wangyu Wu, Tianhong Dai, Zhenhong Chen, Xiaowei Huang, Jimin Xiao, Fei Ma, Renrong Ouyang
2025 J jnl
Can MLLMs Absorb Math Reasoning Abilities from LLMs as Free Lunch?
CoRR
Yijie Hu, Zihao Zhou, Kaizhu Huang, Xiaowei Huang, Qiufeng Wang
2025 J jnl
CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Models.
CoRR
Xiangyu Yin, Jiaxu Liu, Zhen Chen, Jinwei Hu, Yi Dong, Xiaowei Huang, Wenjie Ruan
2025 J jnl
Chasing Consistency: Quantifying and Optimizing Human-Model Alignment in Chain-of-Thought Reasoning.
CoRR
Boxuan Wang, Zhuoyun Li, Xinmiao Huang, Xiaowei Huang, Yi Dong
2025 B conf
Cognitive-Inspired Hierarchical Attention Fusion With Visual and Textual for Cross-Domain Sequential Recommendation.
CogSci
Wangyu Wu, Zhenhong Chen, Siqi Song, Xianglin Qiu, Xiaowei Huang, Fei Ma, Jimin Xiao
2025 J jnl
Contrastive Prompt Clustering for Weakly Supervised Semantic Segmentation.
CoRR
Wangyu Wu, Zhenhong Chen, Xiaowen Ma, Wenqiao Zhang, Xianglin Qiu, Siqi Song, Xiaowei Huang, Fei Ma, Jimin Xiao
2025 A conf
Covariance-Based Space Regularization for Few-Shot Class Incremental Learning.
WACV
Yijie Hu, Guanyu Yang, Zhaorui Tan, Xiaowei Huang, Kaizhu Huang, Qiufeng Wang
2025 J jnl
Distributed Nash Equilibrium Seeking Algorithm in Aggregative Games for Heterogeneous Multi-Robot Systems.
CoRR
Yi Dong, Zhongguo Li, Sarvapali D. Ramchurn, Xiaowei Huang
2025 A* conf
DvD: Unleashing a Generative Paradigm for Document Dewarping via Coordinates-based Diffusion Model.
SIGGRAPH Asia
Weiguang Zhang, Huangcheng Lu, Maizhen Ning, Xiaowei Huang, Wei Wang, Kaizhu Huang, Qiufeng Wang
2025 J jnl
DvD: Unleashing a Generative Paradigm for Document Dewarping via Coordinates-based Diffusion Model.
CoRR
Weiguang Zhang, Huangcheng Lu, Maizhen Ning, Xiaowei Huang, Wei Wang, Kaizhu Huang, Qiufeng Wang
2025 J jnl
Eidos revisited: Expanding Efficient, imperceptible adversarial attacks on 3D point clouds.
J. Syst. Archit.
Luo Cheng, Hanwei Zhang, Qisong He, Wei Huang, Renjue Li, Xiaowei Huang, Holger Hermanns, Lijun Zhang
2025 J jnl
Enhancing Robustness of LLM-Driven Multi-Agent Systems through Randomized Smoothing.
CoRR
Jinwei Hu, Yi Dong, Zhengtao Ding, Xiaowei Huang
2025 J jnl
FAD: Feature augmented distillation for anomaly detection and localization.
Expert Syst. Appl.
Qiyin Zhong, Xianglin Qiu, Xinqiao Zhao, Xiaowei Huang, Gang Liu, Jimin Xiao
2025 J jnl
FALCON: Fine-grained Activation Manipulation by Contrastive Orthogonal Unalignment for Large Language Model.
CoRR
Jinwei Hu, Zhenglin Huang, Xiangyu Yin, Wenjie Ruan, Guangliang Cheng, Yi Dong, Xiaowei Huang
2025 J jnl
Fragile by Design: On the Limits of Adversarial Defenses in Personalized Generation.
CoRR
Zhen Chen, Yi Zhang, Xiangyu Yin, Chengxuan Qin, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2025 A* conf
GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs.
AAAI
Maizhen Ning, Zihao Zhou, Qiufeng Wang, Xiaowei Huang, Kaizhu Huang
2025 J jnl
Generative Prompt Controlled Diffusion for weakly supervised semantic segmentation.
Neurocomputing
Wangyu Wu, Tianhong Dai, Zhenhong Chen, Xiaowei Huang, Fei Ma, Jimin Xiao
2025 J jnl
Hierarchical Attention Fusion of Visual and Textual Representations for Cross-Domain Sequential Recommendation.
CoRR
Wangyu Wu, Zhenhong Chen, Siqi Song, Xianglin Qiu, Xiaowei Huang, Fei Ma, Jimin Xiao
2025 J jnl
Hierarchical Testing with Rabbit Optimization for Industrial Cyber-Physical Systems.
CoRR
Jinwei Hu, Zezhi Tang, Xin Jin, Benyuan Zhang, Yi Dong, Xiaowei Huang
2025 — conf
Image Fusion for Cross-Domain Sequential Recommendation.
WWW (Companion Volume)
Wangyu Wu, Siqi Song, Xianglin Qiu, Xiaowei Huang, Fei Ma, Jimin Xiao
2025 J jnl
Image Fusion for Cross-Domain Sequential Recommendation.
CoRR
Wangyu Wu, Siqi Song, Xianglin Qiu, Xiaowei Huang, Fei Ma, Jimin Xiao
2025 — conf
Interpreting Safety: A LLM and STPA Approach.
PRICAI (4)
Yi Qi, Shufeng Chen, Xiangyu Yin, Wenjie Ruan, Siddartha Khastgir, Ji Ruan, Xingyu Zhao, Xiaowei Huang
2025 J jnl
Invariant Correlation of Representation With Label.
IEEE Trans. Inf. Forensics Secur.
Gaojie Jin, Ronghui Mu, Xinping Yi, Xiaowei Huang, Lijun Zhang
2025 A* conf
Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist.
ICLR
Zihao Zhou, Shudong Liu, Maizhen Ning, Wei Liu, Jindong Wang, Derek F. Wong, Xiaowei Huang, Qiufeng Wang, Kaizhu Huang
2025 J jnl
LLM-Enhanced Multimodal Fusion for Cross-Domain Sequential Recommendation.
CoRR
Wangyu Wu, Zhenhong Chen, Xianglin Qiu, Siqi Song, Xiaowei Huang, Fei Ma, Jimin Xiao
2025 A conf
Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection.
IROS
Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2025 J jnl
Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection.
CoRR
Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2025 Misc conf
Out-of-Distribution Detectors: Not Yet Primed for Practical Deployment.
ICASSP
Changshun Wu, Wendi Ding, Xiaowei Huang, Saddek Bensalem
2025 J jnl
POT: Inducing Overthinking in LLMs via Black-Box Iterative Optimization.
CoRR
Xinyu Li, Tianjin Huang, Ronghui Mu, Xiaowei Huang, Gaojie Jin
2025 A* conf
Patch Synthesis for Property Repair of Deep Neural Networks.
ICSE
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang, Lijun Zhang
2025 J jnl
Position: Towards a Responsible LLM-empowered Multi-Agent Systems.
CoRR
Jinwei Hu, Yi Dong, Shuang Ao, Zhuoyun Li, Boxuan Wang, Lokesh Singh, Guangliang Cheng, Sarvapali D. Ramchurn, Xiaowei Huang
2025 J jnl
Preference Alignment on Diffusion Model: A Comprehensive Survey for Image Generation and Editing.
CoRR
Sihao Wu, Xiaonan Si, Chi Xing, Jianhong Wang, Gaojie Jin, Guangliang Cheng, Lijun Zhang, Xiaowei Huang
2025 J jnl
Principal Eigenvalue Regularization for Improved Worst-Class Certified Robustness of Smoothed Classifiers.
CoRR
Gaojie Jin, Tianjin Huang, Ronghui Mu, Xiaowei Huang
2025 Misc conf
Projection Modules for Few-Shot Object Detection.
ICASSP
Benjamin Rise, Murat Uney, Xiaowei Huang
2025 — conf
Prompt Categories Cluster for Weakly Supervised Semantic Segmentation.
CVPR Workshops
Wangyu Wu, Xianglin Qiu, Siqi Song, Zhenhong Chen, Xiaowei Huang, Fei Ma, Jimin Xiao
2025 J jnl
Reconcile Certified Robustness and Accuracy for DNN-based Smoothed Majority Vote Classifier.
CoRR
Gaojie Jin, Xinping Yi, Xiaowei Huang
2025 J jnl
Rethinking Cross-Generator Image Forgery Detection through DINOv3.
CoRR
Zhenglin Huang, Jason Li, Haiquan Wen, Tianxiao Li, Xi Yang, Lu Qi, Bei Peng, Xiaowei Huang, Ming-Hsuan Yang, Guangliang Cheng
2025 J jnl
Rethinking Multi-Agent Intelligence Through the Lens of Small-World Networks.
CoRR
Boxuan Wang, Zhuoyun Li, Xiaowei Huang, Yi Dong
2025 A* conf
Risk Controlled Image Retrieval.
AAAI
Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Wei Huang, Xiaowei Huang
2025 J jnl
S$^{2}$2O: Enhancing Adversarial Training With Second-Order Statistics of Weights.
IEEE Trans. Pattern Anal. Mach. Intell.
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
2025 J jnl
SCALA: Toward Imperceptible and Efficient Black-Box Textual Adversarial Perturbations.
IEEE Trans. Inf. Forensics Secur.
Siqi Sun, Achim D. Brucker, Jia Hu, Xiaowei Huang, Wenjie Ruan
2025 A* conf
SIDA: Social Media Image Deepfake Detection, Localization and Explanation with Large Multimodal Model.
CVPR
Zhenglin Huang, Jinwei Hu, Xiangtai Li, Yiwei He, Xingyu Zhao, Bei Peng, Baoyuan Wu, Xiaowei Huang, Guangliang Cheng
2025 J jnl
Safeguarding large language models: a survey.
Artif. Intell. Rev.
Yi Dong, Ronghui Mu, Yanghao Zhang, Siqi Sun, Tianle Zhang, Changshun Wu, Gaojie Jin, Yi Qi, Jinwei Hu, Jie Meng, Saddek Bensalem, Xiaowei Huang
2025 J jnl
So-Fake: Benchmarking and Explaining Social Media Image Forgery Detection.
CoRR
Zhenglin Huang, Tianxiao Li, Xiangtai Li, Haiquan Wen, Yiwei He, Jiangning Zhang, Hao Fei, Xi Yang, Xiaowei Huang, Bei Peng, Guangliang Cheng
2025 J jnl
Spatial-DISE: A Unified Benchmark for Evaluating Spatial Reasoning in Vision-Language Models.
CoRR
Xinmiao Huang, Qisong He, Zhenglin Huang, Boxuan Wang, Zhuoyun Li, Guangliang Cheng, Yi Dong, Xiaowei Huang
2025 J jnl
Stop Reducing Responsibility in LLM-Powered Multi-Agent Systems to Local Alignment.
CoRR
Jinwei Hu, Yi Dong, Shuang Ao, Zhuoyun Li, Boxuan Wang, Lokesh Singh, Guangliang Cheng, Sarvapali D. Ramchurn, Xiaowei Huang
2025 J jnl
SynthSeg-Agents: Multi-Agent Synthetic Data Generation for Zero-Shot Weakly Supervised Semantic Segmentation.
CoRR
Wangyu Wu, Zhenhong Chen, Xiaowei Huang, Fei Ma, Jimin Xiao
2025 J jnl
TAIJI: Textual Anchoring for Immunizing Jailbreak Images in Vision Language Models.
CoRR
Xiangyu Yin, Yi Qi, Jinwei Hu, Zhen Chen, Yi Dong, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2025 J jnl
Tag-Enriched Multi-Attention with Large Language Models for Cross-Domain Sequential Recommendation.
CoRR
Wangyu Wu, Xuhang Chen, Zhenhong Chen, Jing-En Jiang, Kim-Fung Tsang, Xiaowei Huang, Fei Ma, Jimin Xiao
2025 J jnl
Tapas are free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments.
CoRR
Jinwei Hu, Yi Dong, Youcheng Sun, Xiaowei Huang
2025 J jnl
ThermoRL:Structure-Aware Reinforcement Learning for Protein Mutation Design to Enhance Thermostability.
CoRR
Xiangwen Wang, Gaojie Jin, Xiaowei Huang, Ronghui Mu
2025 J jnl
Toward Linearly Regularizing the Geometric Bottleneck of Linear Generalized Attention.
Trans. Mach. Learn. Res.
Jiaxu Liu, Xinping Yi, Xiangyu Yin, Yuhang Song, Gaojie Jin, Xiaowei Huang
2025 A* conf
Towards Better Robustness Against Natural Corruptions in Document Tampering Localization.
AAAI
Huiru Shao, Kaizhu Huang, Wei Wang, Xiaowei Huang, Qiufeng Wang
2025 A* conf
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency.
AAAI
Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang
2025 A* conf
ZeroDiff: Solidified Visual-semantic Correlation in Zero-Shot Learning.
ICLR
Zihan Ye, Shreyank N. Gowda, Shiming Chen, Xiaowei Huang, Haotian Xu, Fahad Shahbaz Khan, Yaochu Jin, Kaizhu Huang, Xiaobo Jin
2024 J jnl
A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detection.
CoRR
Fu Wang, Yanghao Zhang, Xiangyu Yin, Guangliang Cheng, Zeyu Fu, Xiaowei Huang, Wenjie Ruan
2024 J jnl
A survey of safety and trustworthiness of large language models through the lens of verification and validation.
Artif. Intell. Rev.
Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa
2024 J jnl
ADVREPAIR: Provable Repair of Adversarial Attack.
CoRR
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang
2024 J jnl
APC: Adaptive Patch Contrast for Weakly Supervised Semantic Segmentation.
CoRR
Wangyu Wu, Tianhong Dai, Zhenhong Chen, Xiaowei Huang, Fei Ma, Jimin Xiao
2024 J jnl
Adaptive Guardrails For Large Language Models via Trust Modeling and In-Context Learning.
CoRR
Jinwei Hu, Yi Dong, Xiaowei Huang
2024 J jnl
Adversarial Training for Graph Neural Networks via Graph Subspace Energy Optimization.
CoRR
Ganlin Liu, Ziling Liang, Xiaowei Huang, Xinping Yi, Shi Jin
2024 C conf
Analytically Determining the Robustness of Binarized Neural Networks.
ICMLA
Sahar M. Alzahrani, Sven Schewe, Chao Huang, Xiaowei Huang
2024 A conf
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection.
IROS
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2024 J jnl
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection.
CoRR
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
2024 J jnl
BEARD: Benchmarking the Adversarial Robustness for Dataset Distillation.
CoRR
Zheng Zhou, Wenquan Feng, Shuchang Lyu, Guangliang Cheng, Xiaowei Huang, Qi Zhao
2024 J jnl
Bridging formal methods and machine learning with model checking and global optimisation.
J. Log. Algebraic Methods Program.
Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
2024 J jnl
Building Guardrails for Large Language Models.
CoRR
Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang
2024 — conf
Continuous Geometry-Aware Graph Diffusion via Hyperbolic Neural PDE.
ECML/PKDD (3)
Jiaxu Liu, Xinping Yi, Sihao Wu, Xiangyu Yin, Tianle Zhang, Xiaowei Huang, Shi Jin
2024 J jnl
Continuous Geometry-Aware Graph Diffusion via Hyperbolic Neural PDE.
CoRR
Jiaxu Liu, Xinping Yi, Sihao Wu, Xiangyu Yin, Tianle Zhang, Xiaowei Huang, Shi Jin
2024 J jnl
Covariance-based Space Regularization for Few-shot Class Incremental Learning.
CoRR
Yijie Hu, Guanyu Yang, Zhaorui Tan, Xiaowei Huang, Kaizhu Huang, Qiu-Feng Wang
2024 — conf
Data Augmentation for Continual RL via Adversarial Gradient Episodic Memory.
ICONIP (4)
Sihao Wu, Xingyu Zhao, Xiaowei Huang
2024 J jnl
Data Augmentation for Continual RL via Adversarial Gradient Episodic Memory.
CoRR
Sihao Wu, Xingyu Zhao, Xiaowei Huang
2024 Misc conf
DeepCDCL: A CDCL-based Neural Network Verification Framework.
TASE
Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang
2024 J jnl
DeepCDCL: An CDCL-based Neural Network Verification Framework.
CoRR
Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang
2024 J jnl
DeepHGCN: Toward Deeper Hyperbolic Graph Convolutional Networks.
IEEE Trans. Artif. Intell.
Jiaxu Liu, Xinping Yi, Xiaowei Huang
2024 — conf
Delving into Adversarial Robustness on Document Tampering Localization.
ECCV (65)
Huiru Shao, Zhuang Qian, Kaizhu Huang, Wei Wang, Xiaowei Huang, Qiufeng Wang
2024 J jnl
Direct Training Needs Regularisation: Anytime Optimal Inference Spiking Neural Network.
CoRR
Dengyu Wu, Yi Qi, Kaiwen Cai, Gaojie Jin, Xinping Yi, Xiaowei Huang
2024 A* conf
Document Registration: Towards Automated Labeling of Pixel-Level Alignment Between Warped-Flat Documents.
ACM Multimedia
Weiguang Zhang, Qiufeng Wang, Kaizhu Huang, Xiaowei Huang, Fengjun Guo, Xiaomeng Gu
2024 Misc conf
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds.
SETTA
Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang
2024 J jnl
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds.
CoRR
Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang
2024 J jnl
Exploring Data Efficiency in Zero-Shot Learning with Diffusion Models.
CoRR
Zihan Ye, Shreyank N. Gowda, Xiaobo Jin, Xiaowei Huang, Haotian Xu, Yaochu Jin, Kaizhu Huang
2024 J jnl
Formal verification of robustness and resilience of learning-enabled state estimation systems.
Neurocomputing
Wei Huang, Yifan Zhou, Gaojie Jin, Youcheng Sun, Jie Meng, Fan Zhang, Xiaowei Huang
2024 J jnl
Hierarchical Distribution-aware Testing of Deep Learning.
ACM Trans. Softw. Eng. Methodol.
Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
2024 J jnl
Image Augmentation Agent for Weakly Supervised Semantic Segmentation.
CoRR
Wangyu Wu, Xianglin Qiu, Siqi Song, Zhenhong Chen, Xiaowei Huang, Fei Ma, Jimin Xiao
2024 Misc conf
Image Augmentation with Controlled Diffusion for Weakly-Supervised Semantic Segmentation.
ICASSP
Wangyu Wu, Tianhong Dai, Xiaowei Huang, Fei Ma, Jimin Xiao
2024 J jnl
Integrating Object Detection Modality into Visual Language Model for Enhanced Autonomous Driving Agent.
CoRR
Linfeng He, Yiming Sun, Sihao Wu, Jiaxu Liu, Xiaowei Huang
2024 J jnl
Invariant Correlation of Representation with Label.
CoRR
Gaojie Jin, Ronghui Mu, Xinping Yi, Xiaowei Huang, Lijun Zhang
2024 J jnl
Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist.
CoRR
Zihao Zhou, Shudong Liu, Maizhen Ning, Wei Liu, Jindong Wang, Derek F. Wong, Xiaowei Huang, Qiufeng Wang, Kaizhu Huang
2024 A* conf
MathAttack: Attacking Large Language Models towards Math Solving Ability.
AAAI
Zihao Zhou, Qiufeng Wang, Mingyu Jin, Jie Yao, Jianan Ye, Wei Liu, Wei Wang, Xiaowei Huang, Kaizhu Huang
2024 J jnl
Negative Hesitation Fuzzy Sets and Their Application to Pattern Recognition.
IEEE Trans. Fuzzy Syst.
Youpeng Yang, Sanghyuk Lee, Haolan Zhang, Xiaowei Huang, Witold Pedrycz
2024 J jnl
Nrat: towards adversarial training with inherent label noise.
Mach. Learn.
Zhen Chen, Fu Wang, Ronghui Mu, Peipei Xu, Xiaowei Huang, Wenjie Ruan
2024 A* conf
Position: Building Guardrails for Large Language Models Requires Systematic Design.
ICML
Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang
2024 J jnl
Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting.
CoRR
Yi Dong, Yingjie Wang, Mariana Gama, Mustafa A. Mustafa, Geert Deconinck, Xiaowei Huang
2024 J jnl
Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting.
IEEE Internet Things J.
Yi Dong, Yingjie Wang, Mariana Gama, Mustafa A. Mustafa, Geert Deconinck, Xiaowei Huang
2024 — conf
ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models Against Stochastic Perturbation.
ECCV (32)
Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao
2024 J jnl
ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation.
CoRR
Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao
2024 — ed.
Proceedings of the IJCAI 2024 Workshop on Artificial Intelligence Safety (AISafety 2024) co-located with the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Jeju, Korea, August 4, 2024.
AISafety@IJCAI
Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Fabio Arnez, Huáscar Espinoza, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, Andreas Theodorou
2024 J jnl
Prompt Categories Cluster for Weakly Supervised Semantic Segmentation.
CoRR
Wangyu Wu, Xianglin Qiu, Siqi Song, Xiaowei Huang, Fei Ma, Jimin Xiao
2024 J jnl
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems.
IEEE Robotics Autom. Lett.
Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang
2024 A* conf
Representation-Based Robustness in Goal-Conditioned Reinforcement Learning.
AAAI
Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2024 A* conf
Reward Certification for Policy Smoothed Reinforcement Learning.
AAAI
Ronghui Mu, Leandro Soriano Marcolino, Yanghao Zhang, Tianle Zhang, Xiaowei Huang, Wenjie Ruan
2024 J jnl
Robust RL with LLM-Driven Data Synthesis and Policy Adaptation for Autonomous Driving.
CoRR
Sihao Wu, Jiaxu Liu, Xiangyu Yin, Guangliang Cheng, Xingyu Zhao, Meng Fang, Xinping Yi, Xiaowei Huang
2024 J jnl
SIDA: Social Media Image Deepfake Detection, Localization and Explanation with Large Multimodal Model.
CoRR
Zhenglin Huang, Jinwei Hu, Xiangtai Li, Yiwei He, Xingyu Zhao, Bei Peng, Baoyuan Wu, Xiaowei Huang, Guangliang Cheng
2024 J jnl
Safeguarding Large Language Models: A Survey.
CoRR
Yi Dong, Ronghui Mu, Yanghao Zhang, Siqi Sun, Tianle Zhang, Changshun Wu, Gaojie Jin, Yi Qi, Jinwei Hu, Jie Meng, Saddek Bensalem, Xiaowei Huang
2024 J jnl
Scene Text Recognition via Dual-path Network with Shape-driven Attention Alignment.
ACM Trans. Multim. Comput. Commun. Appl.
Yijie Hu, Bin Dong, Kaizhu Huang, Lei Ding, Wei Wang, Xiaowei Huang, Qiu-Feng Wang
2024 A* conf
TARP-VP: Towards Evaluation of Transferred Adversarial Robustness and Privacy on Label Mapping Visual Prompting Models.
NeurIPS
Zhen Chen, Yi Zhang, Fu Wang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2024 J jnl
Tiny Refinements Elicit Resilience: Toward Efficient Prefix-Model Against LLM Red-Teaming.
CoRR
Jiaxu Liu, Xiangyu Yin, Sihao Wu, Jianhong Wang, Meng Fang, Xinping Yi, Xiaowei Huang
2024 B conf
Top-K Pooling with Patch Contrastive Learning for Weakly-Supervised Semantic Segmentation.
SMC
Wangyu Wu, Tianhong Dai, Xiaowei Huang, Fei Ma, Jimin Xiao
2024 A* conf
Towards Fairness-Aware Adversarial Learning.
CVPR
Yanghao Zhang, Tianle Zhang, Ronghui Mu, Xiaowei Huang, Wenjie Ruan
2024 J jnl
Towards Fairness-Aware Adversarial Learning.
CoRR
Yanghao Zhang, Tianle Zhang, Ronghui Mu, Xiaowei Huang, Wenjie Ruan
2024 J jnl
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency.
CoRR
Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang
2024 J jnl
Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey.
CoRR
Yi Zhang, Zhen Chen, Chih-Hong Cheng, Wenjie Ruan, Xiaowei Huang, Dezong Zhao, David Flynn, Siddartha Khastgir, Xingyu Zhao
2024 Misc conf
Two-Stage Transfer Learning for Fusion and Classification of Airborne Hyperspectral Imagery.
ICASSP
Benjamin Rise, Murat Uney, Xiaowei Huang
2023 J jnl
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation.
CoRR
Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa
2023 J jnl
A Symbolic Character-Aware Model for Solving Geometry Problems.
CoRR
Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang
2023 A* conf
A Symbolic Characters Aware Model for Solving Geometry Problems.
ACM Multimedia
Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang
2023 — conf
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.
AISoLA
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
2023 A conf
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation.
AAMAS
Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang
2023 J jnl
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation.
CoRR
Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang
2023 J jnl
DeepHGCN: Toward Deeper Hyperbolic Graph Convolutional Networks.
CoRR
Jiaxu Liu, Xinping Yi, Xiaowei Huang
2023 J jnl
Generalizing universal adversarial perturbations for deep neural networks.
Mach. Learn.
Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang
2023 J jnl
Image Augmentation with Controlled Diffusion for Weakly-Supervised Semantic Segmentation.
CoRR
Wangyu Wu, Tianhong Dai, Xiaowei Huang, Fei Ma, Jimin Xiao
2023 — conf
Learning by Analogy: Diverse Questions Generation in Math Word Problem.
ACL (Findings)
Zihao Zhou, Maizhen Ning, Qiufeng Wang, Jie Yao, Wei Wang, Xiaowei Huang, Kaizhu Huang
2023 J jnl
Learning by Analogy: Diverse Questions Generation in Math Word Problem.
CoRR
Zihao Zhou, Maizhen Ning, Qiufeng Wang, Jie Yao, Wei Wang, Xiaowei Huang, Kaizhu Huang
2023 — book
Machine Learning Safety
Xiaowei Huang, Gaojie Jin, Wenjie Ruan
2023 J jnl
MathAttack: Attacking Large Language Models Towards Math Solving Ability.
CoRR
Zihao Zhou, Qiufeng Wang, Mingyu Jin, Jie Yao, Jianan Ye, Wei Liu, Wei Wang, Xiaowei Huang, Kaizhu Huang
2023 J jnl
Model Checking for Probabilistic Multiagent Systems.
J. Comput. Sci. Technol.
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
2023 — conf
Model-Agnostic Reachability Analysis on Deep Neural Networks.
PAKDD (1)
Chi Zhang, Wenjie Ruan, Fu Wang, Peipei Xu, Geyong Min, Xiaowei Huang
2023 J jnl
Model-Agnostic Reachability Analysis on Deep Neural Networks.
CoRR
Chi Zhang, Wenjie Ruan, Fu Wang, Peipei Xu, Geyong Min, Xiaowei Huang
2023 J jnl
Optimising Event-Driven Spiking Neural Network with Regularisation and Cutoff.
CoRR
Dengyu Wu, Gaojie Jin, Han Yu, Xinping Yi, Xiaowei Huang
2023 — ed.
Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), Macau, China, August 21-22, 2023.
AISafety/SafeRL@IJCAI
Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, Huáscar Espinoza, Nikolaos Matragkas, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid, David M. Bossens, Bettina Könighofer, Sebastian Tschiatschek, Anqi Liu
2023 — ed.
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.
SafeAI@AAAI
Gabriel Pedroza, Xiaowei Huang, Xin Cynthia Chen, Andreas Theodorou, José Hernández-Orallo, Mauricio Castillo-Effen, Richard Mallah, John A. McDermid
2023 — conf
Progressive Supervision for Tampering Localization in Document Images.
ICONIP (15)
Huiru Shao, Kaizhu Huang, Wei Wang, Xiaowei Huang, Qiufeng Wang
2023 J jnl
Quantifying safety risks of deep neural networks.
Complex Intell. Syst.
Peipei Xu, Wenjie Ruan, Xiaowei Huang
2023 A* conf
Randomized Adversarial Training via Taylor Expansion.
CVPR
Gaojie Jin, Xinping Yi, Dengyu Wu, Ronghui Mu, Xiaowei Huang
2023 J jnl
Randomized Adversarial Training via Taylor Expansion.
CoRR
Gaojie Jin, Xinping Yi, Dengyu Wu, Ronghui Mu, Xiaowei Huang
2023 J jnl
ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning.
CoRR
Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
2023 J jnl
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance.
ACM Trans. Embed. Comput. Syst.
Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang
2023 J jnl
Reward Certification for Policy Smoothed Reinforcement Learning.
CoRR
Ronghui Mu, Leandro Soriano Marcolino, Tianle Zhang, Yanghao Zhang, Xiaowei Huang, Wenjie Ruan
2023 J jnl
Risk Controlled Image Retrieval.
CoRR
Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Xiaowei Huang
2023 Misc conf
Robust Bayesian Abstraction of Neural Networks.
ICMLC
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
2023 A* conf
SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability.
ICCV
Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang
2023 J jnl
STPA for Learning-Enabled Systems: A Survey and A New Method.
CoRR
Yi Qi, Yi Dong, Xingyu Zhao, Xiaowei Huang
2023 — conf
STPA for Learning-Enabled Systems: A Survey and A New Practice.
ITSC
Yi Qi, Yi Dong, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao, Xiaowei Huang
2023 J jnl
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT.
CoRR
Yi Qi, Xingyu Zhao, Xiaowei Huang
2023 — conf
Short-term Load Forecasting with Distributed Long Short-Term Memory.
ISGT
Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang
2023 Misc conf
Sora: Scalable Black-Box Reachability Analyser on Neural Networks.
ICASSP
Peipei Xu, Fu Wang, Wenjie Ruan, Chi Zhang, Xiaowei Huang
2023 J jnl
Symplectic Structure-Aware Hamiltonian (Graph) Embeddings.
CoRR
Jiaxu Liu, Xinping Yi, Tianle Zhang, Xiaowei Huang
2023 J jnl
Top-K Pooling with Patch Contrastive Learning for Weakly-Supervised Semantic Segmentation.
CoRR
Wangyu Wu, Tianhong Dai, Xiaowei Huang, Fei Ma, Jimin Xiao
2023 A* conf
Towards Verifying the Geometric Robustness of Large-Scale Neural Networks.
AAAI
Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang
2023 J jnl
Towards Verifying the Geometric Robustness of Large-scale Neural Networks.
CoRR
Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang
2023 J jnl
Transportation Object Counting With Graph-Based Adaptive Auxiliary Learning.
IEEE Trans. Intell. Transp. Syst.
Yanda Meng, Joshua Bridge, Yitian Zhao, Martha Joddrell, Yihong Qiao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng
2023 J jnl
Uncertainty Estimation for 3D Dense Prediction via Cross-Point Embeddings.
IEEE Robotics Autom. Lett.
Kaiwen Cai, Chris Xiaoxuan Lu, Xiaowei Huang
2023 — conf
Weight-based Semantic Testing Approach for Deep Neural Networks.
AISafety/SafeRL@IJCAI
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
2023 J jnl
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems.
CoRR
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
2023 — conf
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.
AISoLA
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
2022 J jnl
3D Dense Face Alignment with Fused Features by Aggregating CNNs and GCNs.
CoRR
Yanda Meng, Xu Chen, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Yihong Qiao, Xiaowei Huang, Yalin Zheng
2022 A conf
A Graph Neural Network Reasoner for Game Description Language.
AAMAS
Alvaro Gunawan, Ji Ruan, Xiaowei Huang
2022 A* conf
A Graph Neural Network Reasoner for Game Description Language.
KR
Alvaro Gunawan, Ji Ruan, Xiaowei Huang
2022 — conf
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems.
AISafety@IJCAI
Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang
2022 J jnl
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems.
CoRR
Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang
2022 — conf
Adversarial Label Poisoning Attack on Graph Neural Networks via Label Propagation.
ECCV (5)
Ganlin Liu, Xiaowei Huang, Xinping Yi
2022 C conf
Bridging Formal Methods and Machine Learning with Global Optimisation.
ICFEM
Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao
2022 J jnl
Counting with Adaptive Auxiliary Learning.
CoRR
Yanda Meng, Joshua Bridge, Meng Wei, Yitian Zhao, Yihong Qiao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng
2022 J jnl
Coverage-Guided Testing for Recurrent Neural Networks.
IEEE Trans. Reliab.
Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
2022 A conf
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking.
IROS
Yi Dong, Xingyu Zhao, Xiaowei Huang
2022 J jnl
Dependable learning-enabled multiagent systems.
AI Commun.
Xiaowei Huang, Bei Peng, Xingyu Zhao
2022 J jnl
Editorial to theme section on open environmental software systems modeling.
Softw. Syst. Model.
Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang
2022 J jnl
Embedding and extraction of knowledge in tree ensemble classifiers.
Mach. Learn.
Wei Huang, Xingyu Zhao, Xiaowei Huang
2022 A* conf
Enhancing Adversarial Training with Second-Order Statistics of Weights.
CVPR
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
2022 J jnl
Enhancing Adversarial Training with Second-Order Statistics of Weights.
CoRR
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
2022 — conf
EnnCore: End-to-End Conceptual Guarding of Neural Architectures.
SafeAI@AAAI
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
2022 J jnl
Exploring Cross-Point Embeddings for 3D Dense Uncertainty Estimation.
CoRR
Kaiwen Cai, Chris Xiaoxuan Lu, Xiaowei Huang
2022 — conf
Formal Specification for Learning-Enabled Autonomous Systems.
NSV/FoMLAS@CAV
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
2022 J jnl
Graph-Based Region and Boundary Aggregation for Biomedical Image Segmentation.
IEEE Trans. Medical Imaging
Yanda Meng, Hongrun Zhang, Yitian Zhao, Xiaoyun Yang, Yihong Qiao, Ian J. C. MacCormick, Xiaowei Huang, Yalin Zheng
2022 J jnl
Hierarchical Distribution-Aware Testing of Deep Learning.
CoRR
Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
2022 J jnl
Neuronal Correlation: a Central Concept in Neural Network.
CoRR
Gaojie Jin, Xinping Yi, Xiaowei Huang
2022 — ed.
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.
AISafety@IJCAI
Gabriel Pedroza, Xin Cynthia Chen, José Hernández-Orallo, Xiaowei Huang, Huáscar Espinoza, Richard Mallah, John A. McDermid, Mauricio Castillo-Effen
2022 — ed.
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.
SafeAI@AAAI
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
2022 — conf
Quantifying the Importance of Latent Features in Neural Networks.
SafeAI@AAAI
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
2022 J jnl
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems.
CoRR
Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang
2022 J jnl
SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability.
CoRR
Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang
2022 A conf
STUN: Self-Teaching Uncertainty Estimation for Place Recognition.
IROS
Kaiwen Cai, Chris Xiaoxuan Lu, Xiaowei Huang
2022 J jnl
STUN: Self-Teaching Uncertainty Estimation for Place Recognition.
CoRR
Kaiwen Cai, Chris Xiaoxuan Lu, Xiaowei Huang
2022 J jnl
Short-term Load Forecasting with Distributed Long Short-Term Memory.
CoRR
Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang
2022 J jnl
Soft pseudo-Label shrinkage for unsupervised domain adaptive person re-identification.
Pattern Recognit.
Dingyuan Zheng, Jimin Xiao, Ke Chen, Xiaowei Huang, Lin Chen, Yao Zhao
2022 J jnl
Weight Expansion: A New Perspective on Dropout and Generalization.
CoRR
Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang
2022 J jnl
Weight Expansion: A New Perspective on Dropout and Generalization.
Trans. Mach. Learn. Res.
Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang
2021 J jnl
A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks.
CoRR
Dengyu Wu, Xinping Yi, Xiaowei Huang
2021 — conf
A Segment-Based Layout Aware Model for Information Extraction on Document Images.
ICONIP (5)
Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang
2021 J jnl
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features.
CoRR
Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang
2021 A conf
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications.
CIKM
Wenjie Ruan, Xinping Yi, Xiaowei Huang
2021 J jnl
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications.
CoRR
Wenjie Ruan, Xinping Yi, Xiaowei Huang
2021 J jnl
An Overview of Verification and Validation Challenges for Inspection Robots.
Robotics
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
2021 — conf
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles.
AISafety@IJCAI
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
2021 J jnl
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles.
CoRR
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
2021 A conf
BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation.
BMVC
Yanda Meng, Hongrun Zhang, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng
2021 J jnl
BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation.
CoRR
Yanda Meng, Hongrun Zhang, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng
2021 A conf
BayLIME: Bayesian local interpretable model-agnostic explanations.
UAI
Xingyu Zhao, Wei Huang, Xiaowei Huang, Valentin Robu, David Flynn
2021 J jnl
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems.
CoRR
Yi Dong, Xingyu Zhao, Xiaowei Huang
2021 — conf
Detecting Operational Adversarial Examples for Reliable Deep Learning.
DSN (Supplements)
Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
2021 J jnl
Detecting Operational Adversarial Examples for Reliable Deep Learning.
CoRR
Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
2021 J jnl
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.
Formal Aspects Comput.
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
2021 — ed.
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.
SafeAI@AAAI
Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah
2021 — ed.
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.
AISafety@IJCAI
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
2021 J jnl
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems.
CoRR
Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang
2021 A* conf
Spatial Uncertainty-Aware Semi-Supervised Crowd Counting.
ICCV
Yanda Meng, Hongrun Zhang, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng
2021 J jnl
Spatial Uncertainty-Aware Semi-Supervised Crowd Counting.
CoRR
Yanda Meng, Hongrun Zhang, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng
2021 — conf
Statistical Certification of Acceptable Robustness for Neural Networks.
ICANN (1)
Chengqiang Huang, Hu Zheng, Xiaowei Huang, Ke Pei
2021 J jnl
Tutorials on Testing Neural Networks.
CoRR
Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang
2020 B conf
A Safety Framework for Critical Systems Utilising Deep Neural Networks.
SAFECOMP
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
2020 J jnl
A Safety Framework for Critical Systems Utilising Deep Neural Networks.
CoRR
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
2020 J jnl
A game-based approximate verification of deep neural networks with provable guarantees.
Theor. Comput. Sci.
Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2020 J jnl
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.
Comput. Sci. Rev.
Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi
2020 — conf
Adaptable and Verifiable BDI Reasoning.
AREA@ECAI
Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis
2020 J jnl
BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations.
CoRR
Xingyu Zhao, Xiaowei Huang, Valentin Robu, David Flynn
2020 — conf
CNN-GCN Aggregation Enabled Boundary Regression for Biomedical Image Segmentation.
MICCAI (4)
Yanda Meng, Meng Wei, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng
2020 J jnl
CasGCN: Predicting future cascade growth based on information diffusion graph.
CoRR
Zhixuan Xu, Minghui Qian, Xiaowei Huang, Jie Meng
2020 J jnl
Embedding and Synthesis of Knowledge in Tree Ensemble Classifiers.
CoRR
Wei Huang, Xingyu Zhao, Xiaowei Huang
2020 — conf
Explaining Image Classifiers Using Statistical Fault Localization.
ECCV (28)
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
2020 J jnl
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.
CoRR
Wei Huang, Yifan Zhou, Youcheng Sun, Alec Banks, Jie Meng, James Sharp, Simon Maskell, Xiaowei Huang
2020 A* conf
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations.
ICDM
Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang
2020 J jnl
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations.
CoRR
Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang
2020 J jnl
Generating Adversarial Inputs Using A Black-box Differential Technique.
CoRR
João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang
2020 A* conf
How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks?
NeurIPS
Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang
2020 J jnl
How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks.
CoRR
Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang
2020 C conf
Maximum Power Point Tracking of Photovoltaic Systems Using Deep Q-networks.
INDIN
Kangshi Wang, Dou Hong, Jieming Ma, Ka Lok Man, Kaizhu Huang, Xiaowei Huang
2020 — conf
PRODeep: a platform for robustness verification of deep neural networks.
ESEC/SIGSOFT FSE
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns
2020 A conf
Practical Verification of Neural Network Enabled State Estimation System for Robotics.
IROS
Wei Huang, Yifan Zhou, Youcheng Sun, James Sharp, Simon Maskell, Xiaowei Huang
2020 — ed.
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.
AISafety@IJCAI
Huáscar Espinoza, John A. McDermid, Xiaowei Huang, Mauricio Castillo-Effen, Xin Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah
2020 — ed.
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.
SafeAI@AAAI
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
2020 — conf
Regression of Instance Boundary by Aggregated CNN and GCN.
ECCV (8)
Yanda Meng, Wei Meng, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng
2020 A* conf
Reliability Validation of Learning Enabled Vehicle Tracking.
ICRA
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang
2020 J jnl
Reliability Validation of Learning Enabled Vehicle Tracking.
CoRR
Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang
2020 J jnl
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program.
AI Mag.
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
2020 J jnl
Towards the Quantification of Safety Risks in Deep Neural Networks.
CoRR
Peipei Xu, Wenjie Ruan, Xiaowei Huang
2019 B conf
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
SAS
Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang
2019 J jnl
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
CoRR
Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
2019 — conf
DeepConcolic: testing and debugging deep neural networks.
ICSE (Companion Volume)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 J jnl
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization.
CoRR
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening
2019 A conf
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles.
IROS
Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska
2019 A* conf
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.
IJCAI
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
2019 — ed.
Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, AISafety@IJCAI 2019, Macao, China, August 11-12, 2019.
AISafety@IJCAI
Huáscar Espinoza, Han Yu, Xiaowei Huang, Freddy Lécué, Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah
2019 J jnl
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
CoRR
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik
2019 J jnl
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
ACM Trans. Comput. Log.
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik
2019 J jnl
Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence.
AI Mag.
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
2019 J jnl
Structural Test Coverage Criteria for Deep Neural Networks.
ACM Trans. Embed. Comput. Syst.
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 — conf
Structural test coverage criteria for deep neural networks.
ICSE (Companion Volume)
Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore
2019 J jnl
Test Metrics for Recurrent Neural Networks.
CoRR
Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang
2019 B conf
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
SEFM
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
2019 J jnl
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
CoRR
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
2019 — ed.
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.
SafeAI
Huáscar Espinoza, Seán Ó hÉigeartaigh, Xiaowei Huang, José Hernández-Orallo, Mauricio Castillo-Effen
2019 J jnl
testRNN: Coverage-guided Testing on Recurrent Neural Networks.
CoRR
Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp
2018 J jnl
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees.
CoRR
Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2018 J jnl
An Epistemic Strategy Logic.
ACM Trans. Comput. Log.
Xiaowei Huang, Ron van der Meyden
2018 J jnl
Concolic Testing for Deep Neural Networks.
CoRR
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
2018 A* conf
Concolic testing for deep neural networks.
ASE
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
2018 — conf
Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
TACAS (1)
Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska
2018 J jnl
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.
CoRR
Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
2018 A* conf
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.
IJCAI
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
2018 A* conf
Reachability Analysis of Deep Neural Networks with Provable Guarantees.
IJCAI
Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2018 J jnl
Reachability Analysis of Deep Neural Networks with Provable Guarantees.
CoRR
Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2018 J jnl
Testing Deep Neural Networks.
CoRR
Youcheng Sun, Xiaowei Huang, Daniel Kroening
2017 A* conf
ATL Strategic Reasoning Meets Correlated Equilibrium.
IJCAI
Xiaowei Huang, Ji Ruan
2017 J jnl
Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
CoRR
Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska
2017 — conf
Quantified Coalition Logic of Knowledge, Belief and Certainty.
Canadian AI
Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar
2017 A* conf
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
AAAI
Xiaowei Huang, Marta Zofia Kwiatkowska
2017 — conf
Safety Verification of Deep Neural Networks.
CAV (1)
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu
2016 A* conf
Model Checking Probabilistic Knowledge: A PSPACE Case.
AAAI
Xiaowei Huang, Marta Kwiatkowska
2016 J jnl
Normative Multiagent Systems: A Dynamic Generalization.
CoRR
Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su
2016 A* conf
Normative Multiagent Systems: The Dynamic Generalization.
IJCAI
Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su
2016 A* conf
Reconfigurability in Reactive Multiagent Systems.
IJCAI
Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su
2016 J jnl
Safety Verification of Deep Neural Networks.
CoRR
Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu
2016 A* conf
Strengthening Agents Strategic Ability with Communication.
AAAI
Xiaowei Huang, Qingliang Chen, Kaile Su
2015 J jnl
Bounded model checking of strategy ability with perfect recall.
Artif. Intell.
Xiaowei Huang
2015 A* conf
The Complexity of Model Checking Succinct Multiagent Systems.
IJCAI
Xiaowei Huang, Qingliang Chen, Kaile Su
2015 — conf
The complexity of approximations for epistemic synthesis (extended abstract).
SYNT
Xiaowei Huang, Ron van der Meyden
2014 A* conf
A Temporal Logic of Strategic Knowledge.
KR
Xiaowei Huang, Ron van der Meyden
2014 — conf
An Epistemic Strategy Logic (Extended Abstract).
SR
Xiaowei Huang, Ron van der Meyden
2014 J jnl
An Epistemic Strategy Logic.
CoRR
Xiaowei Huang, Ron van der Meyden
2014 A* conf
Symbolic Model Checking Epistemic Strategy Logic.
AAAI
Xiaowei Huang, Ron van der Meyden
2014 A conf
Symbolic Synthesis for Epistemic Specifications with Observational Semantics.
TACAS
Xiaowei Huang, Ron van der Meyden
2013 A conf
A logic of probabilistic knowledge and strategy.
AAMAS
Xiaowei Huang, Cheng Luo
2013 A conf
Bounded planning for strategic goals with incomplete information and perfect recall.
AAMAS
Xiaowei Huang
2013 A conf
Diagnosability in concurrent probabilistic systems.
AAMAS
Xiaowei Huang
2013 — conf
Model Checking for Reasoning about Incomplete Information Games.
Australasian Conference on Artificial Intelligence
Xiaowei Huang, Ji Ruan, Michael Thielscher
2013 B conf
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics.
TARK
Xiaowei Huang, Ron van der Meyden
2013 J jnl
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics.
CoRR
Xiaowei Huang, Ron van der Meyden
2012 A* conf
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall.
AAAI
Xiaowei Huang, Kaile Su, Chenyi Zhang
2012 A* conf
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games.
AAAI
Xiaowei Huang, Ron van der Meyden
2011 A* conf
Model Checking Knowledge in Pursuit Evasion Games.
IJCAI
Xiaowei Huang, Patrick Maupin, Ron van der Meyden
2011 B conf
Symbolic model checking of probabilistic knowledge.
TARK
Xiaowei Huang, Cheng Luo, Ron van der Meyden
2010 J jnl
A precongruence format for should testing preorder.
J. Log. Algebraic Methods Program.
Xiaowei Huang, Li Jiao, Weiming Lu
2010 J jnl
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.
Comput. J.
Xiaowei Huang, Li Jiao, Weiming Lu
2010 — conf
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic.
MoChArt
Xiaowei Huang, Cheng Luo, Ron van der Meyden
2010 A conf
Improved bounded model checking for a fair branching-time temporal epistemic logic.
AAMAS
Xiaowei Huang, Cheng Luo, Ron van der Meyden
2010 A conf
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time.
ECAI
Xiaowei Huang, Ron van der Meyden
2009 — conf
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic.
Australasian Conference on Artificial Intelligence
Xiaowei Huang, Ron van der Meyden
2008 — conf
Weak Parametric Failure Equivalences and Their Congruence Formats.
CATS
Xiaowei Huang, Li Jiao, Weiming Lu
2007 — conf
A Modular Petri Net Used in Synchronous Communication of Sequential Processes.
MSV
Xiaowei Huang, Jie Meng
2007 — conf
A Semantic Preorder Combining ST Notion and Fair Testing Semantic.
FCS
Xiaowei Huang, Jie Meng
2007 C conf
What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.
ICICS
Xiaowei Huang, Li Jiao, Weiming Lu