Meilun Li

According to our database, Meilun Li authored at least 8 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Probabilistic Preference Planning Problem for Markov Decision Processes.

Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang

IEEE Trans. Software Eng., 2022

2021

Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions.

Zhikun She, Meilun Li

IEEE Trans. Autom. Control., 2021

Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming.

Kairong Liu, Meilun Li, Zhikun She

SIAM J. Control. Optim., 2021

$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations.

Ruiqi Hu, Meilun Li, Zhikun She

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

2019

Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming.

Kairong Liu, Meilun Li, Zhikun She

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.

Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2015

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

Zhikun She, Dan Song, Meilun Li

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

Preference Planning for Markov Decision Processes.

Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015