Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A game-based approximate verification of deep neural networks with provable guarantees.

M. Wu, M. Wicker, W. Ruan, X. Huang, and M. Kwiatkowska. Theor. Comput. Sci., (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wenjie Ruan

Wenjie Gong

Wenjie Xu

Wenjie Dong

Wenjie Jiang

Other publications of authors with the same name

Duplicate Detection in Programming Question Answering Communities.W. Zhang, Q. Sheng, J. Lau, E. Abebe, and W. Ruan. ACM Trans. Internet Techn., 18 (3): 37:1-37:21 (2018)ConCare: Personalized Clinical Feature Embedding via Capturing the Healthcare Context.L. Ma, C. Zhang, Y. Wang, W. Ruan, J. Wang, W. Tang, X. Ma, X. Gao, and J. Gao. CoRR, (2019)ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation.Y. Zhang, Y. Tang, W. Ruan, X. Huang, S. Khastgir, P. Jennings, and X. Zhao. CoRR, (2024)Mortality Prediction with Adaptive Feature Importance Recalibration for Peritoneal Dialysis Patients: a deep-learning-based study on a real-world longitudinal follow-up dataset.L. Ma, C. Zhang, J. Gao, X. Jiao, Z. Yu, X. Ma, Y. Wang, W. Tang, X. Zhao, W. Ruan and 1 other author(s). CoRR, (2023)Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning.R. Mu, W. Ruan, L. Marcolino, G. Jin, and Q. Ni. CoRR, (2022)Adversarial Driving: Attacking End-to-End Autonomous Driving Systems.H. Wu, and W. Ruan. CoRR, (2021)Fooling Object Detectors: Adversarial Attacks by Half-Neighbor Masks.Y. Zhang, F. Wang, and W. Ruan. CoRR, (2021)PRoA: A Probabilistic Robustness Assessment Against Functional Perturbations.T. Zhang, W. Ruan, and J. Fieldsend. ECML/PKDD (3), volume 13715 of Lecture Notes in Computer Science, page 154-170. Springer, (2022)Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning.R. Mu, W. Ruan, L. Marcolino, G. Jin, and Q. Ni. AAAI, page 15046-15054. AAAI Press, (2023)Representation-Based Robustness in Goal-Conditioned Reinforcement Learning.X. Yin, S. Wu, J. Liu, M. Fang, X. Zhao, X. Huang, and W. Ruan. AAAI, page 21761-21769. AAAI Press, (2024)

BibSonomy

Disambiguation of "Ruan, Wenjie"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A game-based approximate verification of deep neural networks with provable guarantees.

Please choose a person to relate this publication to

Wenjie Ruan

Wenjie Gong

Wenjie Xu

Wenjie Dong

Wenjie Jiang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Ruan, Wenjie"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML A game-based approximate verification of deep neural networks with provable guarantees.

Please choose a person to relate this publication to

Wenjie Ruan

Wenjie Gong

Wenjie Xu

Wenjie Dong

Wenjie Jiang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A game-based approximate verification of deep neural networks with provable guarantees.