Author of the publication

REGLO: Provable Neural Network Repair for Global Robustness Properties.

, , , , , , , , and . 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.

 

Other publications of authors with the same name

Study on Index Model of Tropical Cyclone Intensity Change Based on Projection Pursuit and Evolution Strategy., , , and . SSCI, page 145-150. IEEE, (2015)Financial time series forecasting based on wavelet kernel support vector machine., , and . ICNC, page 79-83. IEEE, (2012)Real-Time Underwater Maritime Object Detection in Side-Scan Sonar Images Based on Transformer-YOLOv5., , , , , and . Remote. Sens., 13 (18): 3555 (2021)An Online Inference-Aided Incentive Framework for Information Elicitation Without Verification., , , and . IEEE J. Sel. Areas Commun., 41 (4): 1167-1185 (April 2023)Frequency Regulation Capacity Offering of District Cooling System: An Intrinsic-Motivated Reinforcement Learning Method., , , , and . IEEE Trans. Smart Grid, 14 (4): 2762-2773 (July 2023)Human-Like Interactive Behavior Generation for Autonomous Vehicles: A Bayesian Game-Theoretic Approach with Turing Test., , , and . Adv. Intell. Syst., (2022)An Energy-Efficient Communication Scheme for Collaborative Mobile Clouds in Content Sharing: Design and Optimization., , , , , and . IEEE Trans. Ind. Informatics, 15 (10): 5700-5707 (2019)A Sample Augmentation Method for Side-Scan Sonar Full-Class Images That Can Be Used for Detection and Segmentation., , , and . IEEE Trans. Geosci. Remote. Sens., (2024)(TS)2WM: Tumor Segmentation and Tract Statistics for Assessing White Matter Integrity with Applications to Glioblastoma Patients., , , , , , , , , and . NeuroImage, (2020)Cooperative Output Regulation of Heterogeneous Multi-Agent Systems: An H∞ Criterion., and . IEEE Trans. Autom. Control., 59 (1): 267-273 (2014)