Weichao Zhou

According to our database, Weichao Zhou authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.

Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., March, 2024

Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning.

Zijian Guo, Weichao Zhou, Wenchao Li

CoRR, 2024

REGLO: Provable Neural Network Repair for Global Robustness Properties.

Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Artificial neural network-based virtual synchronous generator dual droop control for microgrid systems.

Hui Wang, Chengdong Yang, Xu Liao, Jiarui Wang, Weichao Zhou, Xiu Ji

Comput. Electr. Eng., October, 2023

PAGAR: Imitation Learning with Protagonist Antagonist Guided Adversarial Reward.

Weichao Zhou, Wenchao Li

CoRR, 2023

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.

Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu

CoRR, 2023

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.

Qi Zhu, Wenchao Li, Chao Huang, Xin Chen, Weichao Zhou, Yixuan Wang, Jiajun Li, Feisi Fu

Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2022

A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines.

Weichao Zhou, Wenchao Li

Proceedings of the International Conference on Machine Learning, 2022

Programmatic Reward Design by Example.

Weichao Zhou, Wenchao Li

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

Runtime-Safety-Guided Policy Repair.

Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li

Proceedings of the Runtime Verification - 20th International Conference, 2020

2018

Safety-Aware Apprenticeship Learning.

Weichao Zhou, Wenchao Li

Proceedings of the Computer Aided Verification - 30th International Conference, 2018