Licheng Luo bio photo

Email

LinkedIn

Github

Google Scholar

Last updated: 04/2026.  * indicates equal contribution; † indicates equal advising.

For the most up-to-date list, please see my Google Scholar.

Conference Papers

  • Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
    Kaier Liang, Licheng Luo, Yixuan Wang, Mingyu Cai, Cristian Ioan Vasile
    Learning for Dynamics and Control (L4DC), 2026.   Oral Presentation.

Preprints

  • Parallel Monitoring of Differentiable Spatio-Temporal Logic for Robot Manipulation
    Licheng Luo, Kaier Liang, Cristian Ioan Vasile, Mingyu Cai
    Manuscript on arXiv, 2026.

  • Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
    Licheng Luo, Kaier Liang, Cristian Ioan Vasile, Mingyu Cai
    Manuscript, 2026.

  • NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks
    Licheng Luo, Yu Xia, Kaier Liang, Mingyu Cai
    Manuscript, 2026.

  • Bridging Deep Reinforcement Learning and Motion Planning for Model-Free Navigation in Cluttered Environments
    Licheng Luo, Mingyu Cai
    Manuscript on arXiv, 2025.

  • Deadlock-Free Hybrid RL-MAPF Framework for Zero-Shot Multi-Robot Navigation
    Haoyi Wang, Licheng Luo, Yiannis Kantaros, Bruno Sinopoli, Mingyu Cai
    Manuscript on arXiv, 2025.

Journal Papers

Thesis

  • Policy Optimization in Robust Markov Decision Processes with Transition Gradient Theorem
    Licheng Luo
    Master’s Thesis, University of Virginia, 2024.

Other Writing Samples