Meilun Li

Preference Planning for Markov Decision Processes

Lijun Zhang, Zhikun She, Andrea Turrini, 2015, AAAI.

Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions

Dan Song, Zhikun She, Meilun Li, 2015, CASC.

Probabilistic Preference Planning Problem for Markov Decision Processes

Zhikun She, Lijun Zhang, Ernst Moritz Hahn, 2020, IEEE Transactions on Software Engineering.

Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming

Zhikun She, Meilun Li, Kairong Liu, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov‐like functions

Zhikun She, Meilun Li, Xiuliang Zheng, 2018 .