Preference Planning for Markov Decision Processes. - Meilun Li; Zhikun She; Andrea Turrini; Lijun Zhang 001 (AAAI, 2015)

Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. - Zhikun She; Dan Song 010; Meilun Li (CASC, 2015)

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. - Meilun Li; Peter Nazier Mosaad; Martin Fränzle; Zhikun She; Bai Xue 001 (FORMATS, 2018)

Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming. - Kairong Liu; Meilun Li; Zhikun She (CDC, 2019)

$ mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. - Ruiqi Hu; Meilun Li; Zhikun She (SETTA, 2021)

Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming. - Kairong Liu; Meilun Li; Zhikun She (SIAM J. Control. Optim., 2021)

Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions. - Zhikun She; Meilun Li (IEEE Trans. Autom. Control., 2021)

Probabilistic Preference Planning Problem for Markov Decision Processes. - Meilun Li; Andrea Turrini; Ernst Moritz Hahn; Zhikun She; Lijun Zhang 001 (IEEE Trans. Software Eng., 2022)

ShieldDFL: A Blockchain-Based Federated Learning Framework With Dual Privacy Protection and Reputation-Driven Consensus. - Yali Cai; Xuetao Du; Chen Zhang; Meilun Li (IEEE Access, 2025)