Luo, Xusheng

Postdoctoral Fellow


Projects


Publications

2025

  1. [J30] Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods
    Xusheng Luo, Tianhao Wei, Simin Liu, Ziwei Wang, Luis Mattei-Mendez, Taylor Loper, Joshua Neighbor, Casidhe Hutchison and Changliu Liu
    ACM Transactions on Cyber-Physical Systems, 2025
  1. [C100] Modelverification. jl: a comprehensive toolbox for formally verifying deep neural networks
    Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S Yun, Peizhi Niu, Xusheng Luo and Changliu Liu
    Conference on Computer Aided Verification, 2025
  2. [C99] Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
    Zhongqi Wei, Xusheng Luo and Changliu Liu
    Robotics: Science and Systems, 2025

            2024

            1. [J25] Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
              Xusheng Luo, Shaojun Xu, Ruixuan Liu and Changliu Liu
              IEEE Robotics and Automation Letters, 2024
                      1. [U] Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
                        Xusheng Luo and Changliu Liu
                        arXiv:2401.04003, 2024
                      2. [U] Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
                        Shaojun Xu, Xusheng Luo, Yutong Huang, Letian Leng, Ruixuan Liu and Changliu Liu
                        arXiv:2408.08188, 2024

                      2023

                          1. [W] Obtaining hierarchy from human instructions: an llms-based approach
                            Xusheng Luo, Shaojun Xu and Changliu Liu
                            CoRL 2023 Workshop on Learning Effective Abstractions for Planning (LEAP), 2023
                                1. [U] Simulation-aided Learning from Demonstration for Robotic LEGO Construction
                                  Ruixuan Liu, Alan Chen, Xusheng Luo and Changliu Liu
                                  arXiv:2309.11010, 2023