Zhilu Wang
Orcid: 0000-0002-6645-262X
According to our database1,
Zhilu Wang
authored at least 27 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.
CoRR, 2023
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments.
Proceedings of the International Conference on Machine Learning, 2023
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
2022
Scanning of Bridge Surface Roughness from Two-Axle Vehicle Response by EKF-UI and Contact Residual: Theoretical Study.
Sensors, 2022
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
Design-while-verify: correct-by-construction control learning with verification in the loop.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors.
Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022
2021
ACM Trans. Embed. Comput. Syst., 2021
Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.
CoRR, 2021
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021
2020
J. Circuits Syst. Comput., 2020
Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020
Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
2019
Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019
2018
Proceedings of the IEEE International Test Conference, 2018
2017
Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on-Chip, 2017
2012
Evaluating System of Treatment of Quercetin and Resveratrol Mixture in Type 2 Diabetic Rats.
Proceedings of the Information Computing and Applications - Third International Conference, 2012