Author of the publication

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems.

, , , , and . CoRR, (2021)

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

A Fast Iterative Adaptive Approach for Scanning Radar Angular Superresolution., , , , and . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 8 (11): 5336-5345 (2015)POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems., , , , and . CoRR, (2021)LRSD-ADMM-NET: Simultaneous Super- Resolution Imaging and Target Detection for Forward-Looking Scanning Radar., , , , , , and . IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., (2024)The improvement of hand gesture recognition based on sEMG by moving average filtering for features., , , , , , , , , and . AIAM (ACM), page 2486-2491. ACM, (2021)A Neuropathological Hub Identification for Alzheimer's Disease Via joint Analysis of Topological Structure and Neuropathological Burden., , , , , , and . ISBI, page 1-4. IEEE, (2022)Research on CEP Dispatching Decision Model Based on Digital Twin Grid., , , , , and . ICISCAE, page 458-464. IEEE, (2023)Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper., , , , , , , , , and 1 other author(s). ICCAD, page 82:1-82:9. IEEE, (2020)Forward Looking Imaging of Airborne Multichannel Radar based on Modified IAA., , , and . IGARSS, page 2987-2990. IEEE, (2022)Sparse Bayesian Learning Based Multichannel Radar Forward Looking Superresolution Imaging Considering Off-Grid Error., , , and . IGARSS, page 8289-8291. IEEE, (2023)Multichannel Radar Forward-Looking Superresolution Imaging Based on ISTA-Net., , , , and . IGARSS, page 8277-8280. IEEE, (2023)