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

REGLO: Provable Neural Network Repair for Global Robustness Properties.

F. Fu, Z. Wang, W. Zhou, Y. Wang, J. Fan, C. Huang, Q. Zhu, X. Chen, and W. Li. AAAI, page 12061-12071. AAAI Press, (2024)

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.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylationL. Wang. Uni Marburg, (2009)

Paul Wang

Lien Wang

Scheifoo Wang

Other publications of authors with the same name

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.Y. Wang, W. Zhou, J. Fan, Z. Wang, J. Li, X. Chen, C. Huang, W. Li, and Q. Zhu. CoRR, (2023)Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems.H. Liang, Z. Wang, D. Roy, S. Dey, S. Chakraborty, and Q. Zhu. ICCD, page 217-226. IEEE, (2019)Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract).Z. Wang, C. Huang, and Q. Zhu. IJCAI, page 6498-6503. ijcai.org, (2023)Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.Y. Wang, S. Zhan, R. Jiao, Z. Wang, W. Jin, Z. Yang, Z. Wang, C. Huang, and Q. Zhu. ICML, volume 202 of Proceedings of Machine Learning Research, page 36593-36604. PMLR, (2023)Collaborative Multi-Agent Video Fast-Forwarding.S. Lan, Z. Wang, E. Wei, A. Roy-Chowdhury, and Q. Zhu. IEEE Trans. Multim., (2024)Cross-Layer Design of Automotive Systems.Z. Wang, H. Liang, C. Huang, and Q. Zhu. CoRR, (2020)Design Automation for Intelligent Automotive Systems.S. Lan, C. Huang, Z. Wang, H. Liang, W. Su, and Q. Zhu. ITC, page 1-10. IEEE, (2018)Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper.Q. Zhu, W. Li, H. Kim, Y. Xiang, K. Wardega, Z. Wang, Y. Wang, H. Liang, C. Huang, J. Fan and 1 other author(s). ICCAD, page 82:1-82:9. IEEE, (2020)Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.Y. Wang, S. Zhan, R. Jiao, Z. Wang, W. Jin, Z. Yang, Z. Wang, C. Huang, and Q. Zhu. CoRR, (2022)Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding.Z. Wang, C. Huang, and Q. Zhu. DATE, page 1087-1092. IEEE, (2022)

BibSonomy

Disambiguation of "Wang, Zhilu"

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

REGLO: Provable Neural Network Repair for Global Robustness Properties.

Please choose a person to relate this publication to

Wang Wang

Linfang Wang

Paul Wang

Lien Wang

Scheifoo Wang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wang, Zhilu"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML REGLO: Provable Neural Network Repair for Global Robustness Properties.

Please choose a person to relate this publication to

Wang Wang

Linfang Wang

Paul Wang

Lien Wang

Scheifoo Wang

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

REGLO: Provable Neural Network Repair for Global Robustness Properties.