Login / Signup
Meilun Li
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 8
Top Topics
Macro Actions
Dynamical Systems
Markov Decision Process
Factored Mdps
Top Venues
SETTA
CDC
SIAM J. Control. Optim.
IEEE Trans. Autom. Control.
</>
Publications
</>
Meilun Li
,
Andrea Turrini
,
Ernst Moritz Hahn
,
Zhikun She
,
Lijun Zhang
Probabilistic Preference Planning Problem for Markov Decision Processes.
IEEE Trans. Software Eng.
48 (5) (2022)
Ruiqi Hu
,
Meilun Li
,
Zhikun She
$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations.
SETTA
(2021)
Zhikun She
,
Meilun Li
Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions.
IEEE Trans. Autom. Control.
66 (3) (2021)
Kairong Liu
,
Meilun Li
,
Zhikun She
Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming.
SIAM J. Control. Optim.
59 (1) (2021)
Kairong Liu
,
Meilun Li
,
Zhikun She
Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming.
CDC
(2019)
Meilun Li
,
Peter Nazier Mosaad
,
Martin Fränzle
,
Zhikun She
,
Bai Xue
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.
FORMATS
(2018)
Zhikun She
,
Dan Song
,
Meilun Li
Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions.
CASC
(2015)
Meilun Li
,
Zhikun She
,
Andrea Turrini
,
Lijun Zhang
Preference Planning for Markov Decision Processes.
AAAI
(2015)