Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. - Pengfei Yang 002; Zhiming Chi; Zongxin Liu 001; Mengyu Zhao; Cheng-Chao Huang; Shaowei Cai 001; Lijun Zhang 001 (CoRR, 2023)

A Scenario Approach for Parametric Markov Decision Processes. - Zhiming Chi; Ying Liu; Andrea Turrini; Lijun Zhang 001; David N. Jansen (Principles of Verification (2), 2024)

ADVREPAIR: Provable Repair of Adversarial Attack. - Zhiming Chi; Jianan Ma; Pengfei Yang 002; Cheng-Chao Huang; Renjue Li; Xiaowei Huang 001; Lijun Zhang 001 (CoRR, 2024)

Patch Synthesis for Property Repair of Deep Neural Networks. - Zhiming Chi; Jianan Ma; Pengfei Yang 002; Cheng-Chao Huang; Renjue Li; Jingyi Wang 004; Xiaowei Huang 001; Lijun Zhang 001 (ICSE, 2025)