Xusheng Luo
Bio
Dr. Xusheng Luo is an Assistant Professor in the Department of Mechanical and Aerospace Engineering at North Carolina State University, where he directs the Intelligent Robotics and Trustworthy Autonomy (IRTA) Lab. His research lies at the intersection of robotics, control theory, artificial intelligence, machine learning, and formal methods, with a focus on developing intelligent, trustworthy, and human-centered robotic systems. His research interests include neuro-symbolic robot planning and learning, trustworthy robot learning and embodied intelligence, assured autonomy, human-centered robotics, and scalable multi-robot systems.
Prior to joining NC State, he was a Postdoctoral Fellow at the Robotics Institute at Carnegie Mellon University. He also worked as an Autonomous Driving Research Engineer in industry. He received his Ph.D. in Mechanical Engineering from Duke University in 2020 and his B.S. and M.S. degrees in Aerospace Engineering from Harbin Institute of Technology in 2015 and 2017, respectively.
His honors include being selected as an ASME Dynamic Systems and Control Division Rising Star in 2025 and an NSF Rising Star in Cyber-Physical Systems in 2024.
Publications
- Emergent Neural Automaton Policies: Learning Symbolic Structure from Visuomotor Trajectories , Robotics: Science and Systems XXII (2026)
- Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods , ACM Transactions on Cyber-Physical Systems (2025)
- ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks , Lecture notes in computer science (2025)
- Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Specifications , IEEE ROBOTICS AND AUTOMATION LETTERS (2025)
- Simultaneous Task Allocation and Planning for Multirobots Under Hierarchical Temporal Logic Specifications , IEEE TRANSACTIONS ON ROBOTICS (2025)
- Decomposition-Based Hierarchical Task Allocation and Planning for Multi-Robots Under Hierarchical Temporal Logic Specifications , IEEE ROBOTICS AND AUTOMATION LETTERS (2024)
- Formal Verification of Stochastic Systems with ReLU Neural Network Controllers , 2022 International Conference on Robotics and Automation (ICRA) (2022)
- Temporal Logic Task Allocation in Heterogeneous Multirobot Systems , IEEE TRANSACTIONS ON ROBOTICS (2022)
- An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis , IEEE TRANSACTIONS ON ROBOTICS (2021)
- An optimal graph-search method for secure state estimation , AUTOMATICA (2021)