Fingerprint
Dive into the research topics where Min Zhang 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
-
Balancing Fairness and Performance Under Multiple Sensitive Attributes
Zhang, M., Di, Y. & Zhang, M., 2026, PRICAI 2025: Trends in Artificial Intelligence - 22nd Pacific Rim International Conference on Artificial Intelligence, PRICAI 2025, Proceedings. Mei, Y., Qian, C., Bai, Q., Xue, B. & Khanna, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 19-34 16 p. (Lecture Notes in Computer Science; vol. 16454 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
DeepCTL: Neural Branching-Time CTL Satisfiability Checking via Recursive Decision Trees
Yuan, B., Wang, Z., Zhang, L., Yang, J., Shao, B. & Zhang, M., 2026, Artificial Neural Networks and Machine Learning – ICANN 2025 - 34th International Conference on Artificial Neural Networks, 2025, Proceedings. Senn, W., Sanguineti, M., Saudargiene, A., Tetko, I. V., Villa, A. E. P., Jirsa, V. & Bengio, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 26-41 16 p. (Lecture Notes in Computer Science; vol. 16068 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Link opens in a new tab Scopus citations -
Formal Verification of Neural Network-Controlled Systems via Proof Certificates
Zhi, D., Wang, P. & Zhang, M., 2026, Engineering Trustworthy Software Systems - 7th International School, SETSS 2025, Tutorial Lectures. Bowen, J. P. & Turrini, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 59-85 27 p. (Lecture Notes in Computer Science; vol. 16481 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
MaskCtrl: Training mask networks as self-explainable and performant controllers via deep reinforcement learning
Peng, S., Liu, S., Zhi, D., Wang, P. & Zhang, M., Nov 2026, In: Neural Networks. 203, 109107.Research output: Contribution to journal › Article › peer-review
-
Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk)
Zhang, M., 2026, Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Proceedings. Rümmer, P. & Wu, Z. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-10 8 p. (Lecture Notes in Computer Science; vol. 15841 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Link opens in a new tab Scopus citations