Meilun Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SETTA | $\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. | Ruiqi Hu, Meilun Li, Zhikun She |
| 2015 | AAAI | Preference Planning for Markov Decision Processes. | Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang |
| 2015 | CASC | Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. | Zhikun She, Dan Song, Meilun Li |