( en | de | ru )

 

Disambiguation of "Zhou, Weichao"

Author of the publication

copydeleteadd this publication to your clipboard
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.

, , , , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (3): 994-1007 (March 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.

Zhou Zhou

Zhou Zhou

Rui Zhou

Yaming Zhou

Xianzhong Zhou

 

Other publications of authors with the same name

Artificial neural network-based virtual synchronous generator dual droop control for microgrid systems., , , , , and . Comput. Electr. Eng., 111 (Part A): 108930 (October 2023)Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems., , , , , , , and . Allerton, page 1-8. IEEE, (2023)POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems., , , , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (3): 994-1007 (March 2024)A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines., and . ICML, volume 162 of Proceedings of Machine Learning Research, page 27159-27178. PMLR, (2022)Runtime-Safety-Guided Policy Repair., , , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 131-150. Springer, (2020)Programmatic Reward Design by Example., and . AAAI, page 9233-9241. AAAI Press, (2022)REGLO: Provable Neural Network Repair for Global Robustness Properties., , , , , , , , and . AAAI, page 12061-12071. AAAI Press, (2024)Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning., , and . CoRR, (2024)Programmatic Reward Design by Example., and . CoRR, (2021)PAGAR: Imitation Learning with Protagonist Antagonist Guided Adversarial Reward., and . CoRR, (2023)