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://dblp1.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
- 2024
[j29]Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao:
Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. 137: 100941 (2024)- [j28]Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang:
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. IEEE Robotics Autom. Lett. 9(4): 3299-3306 (2024) - [j27]Youpeng Yang, Sanghyuk Lee, Haolan Zhang, Xiaowei Huang, Witold Pedrycz:
Negative Hesitation Fuzzy Sets and Their Application to Pattern Recognition. IEEE Trans. Fuzzy Syst. 32(4): 1836-1847 (2024) - [j26]Yijie Hu, Bin Dong, Kaizhu Huang, Lei Ding, Wei Wang, Xiaowei Huang, Qiu-Feng Wang:
Scene Text Recognition via Dual-path Network with Shape-driven Attention Alignment. ACM Trans. Multim. Comput. Commun. Appl. 20(4): 107:1-107:20 (2024) - [j25]Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang:
Hierarchical Distribution-aware Testing of Deep Learning. ACM Trans. Softw. Eng. Methodol. 33(2): 42:1-42:35 (2024) - [c86]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. AAAI 2024: 19750-19758 - [i69]Yi Dong, Yingjie Wang, Mariana Gama, Mustafa A. Mustafa, Geert Deconinck, Xiaowei Huang:
Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting. CoRR abs/2402.01546 (2024) - [i68]Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang:
Building Guardrails for Large Language Models. CoRR abs/2402.01822 (2024) - [i67]Yanghao Zhang, Tianle Zhang, Ronghui Mu, Xiaowei Huang, Wenjie Ruan:
Towards Fairness-Aware Adversarial Learning. CoRR abs/2402.17729 (2024) - [i66]Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang:
DeepCDCL: An CDCL-based Neural Network Verification Framework. CoRR abs/2403.07956 (2024) - [i65]Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem:
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. CoRR abs/2403.18373 (2024) - 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 - [j24]Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang:
Model Checking for Probabilistic Multiagent Systems. J. Comput. Sci. Technol. 38(5): 1162-1186 (2023) - [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) - [c85]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 - [c84]Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang:
Weight-based Semantic Testing Approach for Deep Neural Networks. AISafety/SafeRL@IJCAI 2023 - [c83]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 - [c82]Gaojie Jin, Xinping Yi, Dengyu Wu, Ronghui Mu, Xiaowei Huang:
Randomized Adversarial Training via Taylor Expansion. CVPR 2023: 16447-16457 - [c81]Peipei Xu, Fu Wang, Wenjie Ruan, Chi Zhang, Xiaowei Huang:
Sora: Scalable Black-Box Reachability Analyser on Neural Networks. ICASSP 2023: 1-5 - [c80]Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang:
SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. ICCV 2023: 1988-1998 - [c79]Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang:
Robust Bayesian Abstraction of Neural Networks. ICMLC 2023: 276-283 - [c78]Huiru Shao, Kaizhu Huang, Wei Wang, Xiaowei Huang, Qiufeng Wang:
Progressive Supervision for Tampering Localization in Document Images. ICONIP (15) 2023: 140-151 - [c77]Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang:
Short-term Load Forecasting with Distributed Long Short-Term Memory. ISGT 2023: 1-5 - [c76]Yi Qi, Yi Dong, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao, Xiaowei Huang:
STPA for Learning-Enabled Systems: A Survey and A New Practice. ITSC 2023: 1381-1388 - [c75]Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang:
A Symbolic Characters Aware Model for Solving Geometry Problems. ACM Multimedia 2023: 7767-7775 - [c74]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 - [c73]Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao:
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. AISoLA 2023: 55-76 - [c72]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:
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA 2023: 256-278 - [e10]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] - [e9]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:
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. CEUR Workshop Proceedings 3505, CEUR-WS.org 2023 [contents] - [i64]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) - [i63]Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang:
Towards Verifying the Geometric Robustness of Large-scale Neural Networks. CoRR abs/2301.12456 (2023) - [i62]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) - [i61]Yi Qi, Yi Dong, Xingyu Zhao, Xiaowei Huang:
STPA for Learning-Enabled Systems: A Survey and A New Method. CoRR abs/2302.10588 (2023) - [i60]Gaojie Jin, Xinping Yi, Dengyu Wu, Ronghui Mu, Xiaowei Huang:
Randomized Adversarial Training via Taylor Expansion. CoRR abs/2303.10653 (2023) - [i59]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) - [i58]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) - [i57]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:
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation. CoRR abs/2305.11391 (2023) - [i56]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) - [i55]Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Xiaowei Huang:
Risk Controlled Image Retrieval. CoRR abs/2307.07336 (2023) - [i54]Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao:
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems. CoRR abs/2307.11784 (2023) - [i53]Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang:
A Symbolic Character-Aware Model for Solving Geometry Problems. CoRR abs/2308.02823 (2023) - [i52]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) - [i51]Jiaxu Liu, Xinping Yi, Tianle Zhang, Xiaowei Huang:
Symplectic Structure-Aware Hamiltonian (Graph) Embeddings. CoRR abs/2309.04885 (2023) - [i50]Jiaxu Liu, Xinping Yi, Xiaowei Huang:
DeepHGCN: Toward Deeper Hyperbolic Graph Convolutional Networks. CoRR abs/2310.02027 (2023) - [i49]Ronghui Mu, Leandro Soriano Marcolino, Tianle Zhang, Yanghao Zhang, Xiaowei Huang, Wenjie Ruan:
Reward Certification for Policy Smoothed Reinforcement Learning. CoRR abs/2312.06436 (2023) - [i48]Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan:
ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning. CoRR abs/2312.07392 (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) - [c71]Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang:
Quantifying the Importance of Latent Features in Neural Networks. SafeAI@AAAI 2022 - [c70]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 - [c69]Alvaro Gunawan, Ji Ruan, Xiaowei Huang:
A Graph Neural Network Reasoner for Game Description Language. AAMAS 2022: 1607-1609 - [c68]Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled:
Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV 2022: 131-143 - [c67]Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang:
Enhancing Adversarial Training with Second-Order Statistics of Weights. CVPR 2022: 15252-15262 - [c66]Ganlin Liu, Xiaowei Huang, Xinping Yi:
Adversarial Label Poisoning Attack on Graph Neural Networks via Label Propagation. ECCV (5) 2022: 227-243 - [c65]Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao:
Bridging Formal Methods and Machine Learning with Global Optimisation. ICFEM 2022: 1-19 - [c64]Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang:
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. AISafety@IJCAI 2022 - [c63]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 - [c62]Kaiwen Cai, Chris Xiaoxuan Lu, Xiaowei Huang:
STUN: Self-Teaching Uncertainty Estimation for Place Recognition. IROS 2022: 6614-6621 - [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] - [i47]Gaojie Jin, Xinping Yi, Xiaowei Huang:
Neuronal Correlation: a Central Concept in Neural Network. CoRR abs/2201.09069 (2022) - [i46]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) - [i45]Kaiwen Cai, Chris Xiaoxuan Lu, Xiaowei Huang:
STUN: Self-Teaching Uncertainty Estimation for Place Recognition. CoRR abs/2203.01851 (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]Huáscar Espinoza, Han Yu, Xiaowei Huang, Freddy Lécué, Cynthia Chen, José Hernández-Orallo, Seán Ó hÉigeartaigh, Richard Mallah:
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. CEUR Workshop Proceedings 2419, CEUR-WS.org 2019 [contents] - [i16]Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang:
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. CoRR abs/1902.09866 (2019) - [i15]Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. CoRR abs/1905.06627 (2019) - [i14]Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp:
testRNN: Coverage-guided Testing on Recurrent Neural Networks. CoRR abs/1906.08557 (2019) - [i13]Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening:
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization. CoRR abs/1908.02374 (2019) - [i12]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. CoRR abs/1909.03019 (2019) - [i11]Wei Huang, Youcheng Sun, James Sharp, Xiaowei Huang:
Test Metrics for Recurrent Neural Networks. CoRR abs/1911.01952 (2019) - 2018
- [j4]Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic. ACM Trans. Comput. Log. 19(4): 26:1-26:45 (2018) - [c35]Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
Reachability Analysis of Deep Neural Networks with Provable Guarantees. IJCAI 2018: 2651-2659 - [c34]Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang:
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. IJCAI 2018: 4757-4763 - [c33]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic testing for deep neural networks. ASE 2018: 109-119 - [c32]Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska:
Feature-Guided Black-Box Safety Testing of Deep Neural Networks. TACAS (1) 2018: 408-426 - [i10]Youcheng Sun, Xiaowei Huang, Daniel Kroening:
Testing Deep Neural Networks. CoRR abs/1803.04792 (2018) - [i9]Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska:
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. CoRR abs/1804.05805 (2018) - [i8]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic Testing for Deep Neural Networks. CoRR abs/1805.00089 (2018) - [i7]Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
Reachability Analysis of Deep Neural Networks with Provable Guarantees. CoRR abs/1805.02242 (2018) - [i6]Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. CoRR abs/1807.03571 (2018) - 2017
- [c31]Xiaowei Huang, Marta Zofia Kwiatkowska:
Reasoning about Cognitive Trust in Stochastic Multiagent Systems. AAAI 2017: 3768-3774 - [c30]Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar:
Quantified Coalition Logic of Knowledge, Belief and Certainty. Canadian AI 2017: 351-360 - [c29]Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu:
Safety Verification of Deep Neural Networks. CAV (1) 2017: 3-29 - [c28]Xiaowei Huang, Ji Ruan:
ATL Strategic Reasoning Meets Correlated Equilibrium. IJCAI 2017: 1102-1108 - [i5]Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska:
Feature-Guided Black-Box Safety Testing of Deep Neural Networks. CoRR abs/1710.07859 (2017) - 2016
- [c27]Xiaowei Huang, Qingliang Chen, Kaile Su:
Strengthening Agents Strategic Ability with Communication. AAAI 2016: 2509-2515 - [c26]Xiaowei Huang, Marta Kwiatkowska:
Model Checking Probabilistic Knowledge: A PSPACE Case. AAAI 2016: 2516-2522 - [c25]Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su:
Reconfigurability in Reactive Multiagent Systems. IJCAI 2016: 315-321 - [c24]Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su:
Normative Multiagent Systems: The Dynamic Generalization. IJCAI 2016: 1123-1129 - [i4]Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su:
Normative Multiagent Systems: A Dynamic Generalization. CoRR abs/1604.05086 (2016) - [i3]Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu:
Safety Verification of Deep Neural Networks. CoRR abs/1610.06940 (2016) - 2015
- [j3]Xiaowei Huang:
Bounded model checking of strategy ability with perfect recall. Artif. Intell. 222: 182-200 (2015) - [c23]Xiaowei Huang, Qingliang Chen, Kaile Su:
The Complexity of Model Checking Succinct Multiagent Systems. IJCAI 2015: 1076-1082 - [c22]Xiaowei Huang, Ron van der Meyden:
The complexity of approximations for epistemic synthesis (extended abstract). SYNT 2015: 120-137 - 2014
- [c21]Xiaowei Huang, Ron van der Meyden:
Symbolic Model Checking Epistemic Strategy Logic. AAAI 2014: 1426-1432 - [c20]Xiaowei Huang, Ron van der Meyden:
A Temporal Logic of Strategic Knowledge. KR 2014 - [c19]Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis for Epistemic Specifications with Observational Semantics. TACAS 2014: 455-469 - [c18]Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic (Extended Abstract). SR 2014: 35-41 - [i2]Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic. CoRR abs/1409.2193 (2014) - 2013
- [c17]Xiaowei Huang, Cheng Luo:
A logic of probabilistic knowledge and strategy. AAMAS 2013: 845-852 - [c16]Xiaowei Huang:
Diagnosability in concurrent probabilistic systems. AAMAS 2013: 853-860 - [c15]Xiaowei Huang:
Bounded planning for strategic goals with incomplete information and perfect recall. AAMAS 2013: 885-892 - [c14]Xiaowei Huang, Ji Ruan, Michael Thielscher:
Model Checking for Reasoning about Incomplete Information Games. Australasian Conference on Artificial Intelligence 2013: 246-258 - [c13]Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. TARK 2013 - [i1]Xiaowei Huang, Ron van der Meyden:
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. CoRR abs/1310.6423 (2013) - 2012
- [c12]Xiaowei Huang, Kaile Su, Chenyi Zhang:
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. AAAI 2012: 765-771 - [c11]Xiaowei Huang, Ron van der Meyden:
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games. AAAI 2012: 772-778 - 2011
- [c10]Xiaowei Huang, Patrick Maupin, Ron van der Meyden:
Model Checking Knowledge in Pursuit Evasion Games. IJCAI 2011: 240-245 - [c9]Xiaowei Huang, Cheng Luo, Ron van der Meyden:
Symbolic model checking of probabilistic knowledge. TARK 2011: 177-186 - 2010
- [j2]Xiaowei Huang, Li Jiao, Weiming Lu:
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence. Comput. J. 53(1): 21-36 (2010) - [j1]Xiaowei Huang, Li Jiao, Weiming Lu:
A precongruence format for should testing preorder. J. Log. Algebraic Methods Program. 79(3-5): 245-263 (2010) - [c8]Xiaowei Huang, Cheng Luo, Ron van der Meyden:
Improved bounded model checking for a fair branching-time temporal epistemic logic. AAMAS 2010: 1403-1404 - [c7]Xiaowei Huang, Ron van der Meyden:
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. ECAI 2010: 549-554 - [c6]Xiaowei Huang, Cheng Luo, Ron van der Meyden:
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. MoChArt 2010: 95-111
2000 – 2009
- 2009
- [c5]Xiaowei Huang, Ron van der Meyden:
Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic. Australasian Conference on Artificial Intelligence 2009: 11-20 - 2008
- [c4]Xiaowei Huang, Li Jiao, Weiming Lu:
Weak Parametric Failure Equivalences and Their Congruence Formats. CATS 2008: 15-26 - 2007
- [c3]Xiaowei Huang, Jie Meng:
A Semantic Preorder Combining ST Notion and Fair Testing Semantic. FCS 2007: 82-88 - [c2]Xiaowei Huang, Li Jiao, Weiming Lu:
What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. ICICS 2007: 334-349 - [c1]Xiaowei Huang, Jie Meng:
A Modular Petri Net Used in Synchronous Communication of Sequential Processes. MSV 2007: 194-200
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
