Projects per year
Fingerprint
Dive into the research topics where He Zhu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 2 Active
-
FMitF: Track I: Synthesis and Verification for Programmatic Reinforcement Learning
Zhu, H. (PI) & Zhang, Y. (CoPI)
10/1/21 → 9/30/25
Project: Research
-
SHF: Small: Formal Symbolic Reasoning of Deep Reinforcement Learning Systems
Zhu, H. (PI)
6/15/20 → 6/30/25
Project: Research
-
Explain the Explainer: Interpreting Model-Agnostic Counterfactual Explanations of a Deep Reinforcement Learning Agent
Chen, Z., Silvestri, F., Tolomei, G., Wang, J., Zhu, H. & Ahn, H., Apr 1 2024, In: IEEE Transactions on Artificial Intelligence. 5, 4, p. 1443-1457 15 p.Research output: Contribution to journal › Article › peer-review
-
Reward-Guided Synthesis of Intelligent Agents with Control Structures
Cui, G., Wang, Y., Qiu, W. & Zhu, H., Jun 20 2024, In: Proceedings of the ACM on Programming Languages. 8, 217.Research output: Contribution to journal › Article › peer-review
Open Access -
Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models
Wang, Y. & Zhu, H., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 232-255 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14683 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising
Xiong, Z., Eappen, J., Zhu, H. & Jagannathan, S., 2023, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2022, Proceedings. Amini, M.-R., Canu, S., Fischer, A., Guns, T., Kralj Novak, P. & Tsoumakas, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13715 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives
Qiu, W., Mao, W. & Zhu, H., 2023, Advances in Neural Information Processing Systems 36 - 37th Conference on Neural Information Processing Systems, NeurIPS 2023. Oh, A., Neumann, T., Globerson, A., Saenko, K., Hardt, M. & Levine, S. (eds.). Neural information processing systems foundation, (Advances in Neural Information Processing Systems; vol. 36).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution