Meilun Li - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 8 from 8

2022

Probabilistic Preference Planning Problem for Markov Decision ProcessesMeilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang 0001. TSE, 48(5):1545-1559, 2022. [doi]

2021

$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential EquationsRuiqi Hu, Meilun Li, Zhikun She. setta 2021: 261-278 [doi]

Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite ProgrammingKairong Liu, Meilun Li, Zhikun She. siamco, 59(1):365-392, 2021. [doi]

Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution FunctionsZhikun She, Meilun Li. tac, 66(3):1414-1421, 2021. [doi]

2019

Reachability Estimation of Stochastic Dynamical Systems by Semi-definite ProgrammingKairong Liu, Meilun Li, Zhikun She. cdc 2019: 7727-7732 [doi]

2018

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical SystemsMeilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue 0001. formats 2018: 252-270 [doi]

2015

Preference Planning for Markov Decision ProcessesMeilun Li, Zhikun She, Andrea Turrini, Lijun Zhang 0001. AAAI 2015: 3313-3319 [doi]

Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like FunctionsZhikun She, Dan Song, Meilun Li. casc 2015: 440-456 [doi]

Sign in or sign up to see more results.

runs on WebDSL