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
-
FMitF: Track I: Synthesis and Verification for Programmatic Reinforcement Learning
Zhu, H. (PI) & Zhang, Y. (CoPI)
10/1/21 → 9/30/25
Project: Research project
-
SHF: Small: Formal Symbolic Reasoning of Deep Reinforcement Learning Systems
Zhu, H. (PI)
6/15/20 → 5/31/23
Project: Research project
-
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
8 Scopus citations -
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
3 Scopus citations -
Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives
Qiu, W., Mao, W. & Zhu, H., 2023, In: Advances in Neural Information Processing Systems. 36Research output: Contribution to journal › Conference article › peer-review
-
Verification-guided Programmatic Controller Synthesis
Wang, Y. & Zhu, H., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 229-250 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13994 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access3 Scopus citations -
Graph collaborative reasoning
Chen, H., Li, Y., Shi, S., Liu, S., Zhu, H. & Zhang, Y., Feb 11 2022, WSDM 2022 - Proceedings of the 15th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, Inc, p. 75-84 10 p. (WSDM 2022 - Proceedings of the 15th ACM International Conference on Web Search and Data Mining).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
21 Scopus citations