Xusheng Luo

Duke University, Carnegie Mellon University

Papers

10

Total Citations

169

H-Index

6

About

No biography available yet.

Research Focus

Computer science10 · 169 citations
Artificial intelligence9 · 163 citations
Robot8 · 157 citations
Theoretical computer science7 · 151 citations
Linear temporal logic4 · 130 citations
Automaton4 · 130 citations
Temporal logic6 · 90 citations
Graph3 · 76 citations
Task (project management)5 · 76 citations
Algorithm3 · 76 citations
Büchi automaton2 · 70 citations
Deterministic automaton2 · 70 citations

Key Achievements

6
H-Index
10
Papers
169
Total Citations
17
Avg Citations/Paper
🏆 Most Cited Paper
An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis
64 citations · 2021
📈 Most Prolific Year: 2021 (3 Papers)
🤝 Key Collaborators: 14
🏛 Institutions: Duke University, Carnegie Mellon University

Top Papers

  1. 1
    An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis
    64 citations · 2021
  2. 2
    Temporal Logic Task Allocation in Heterogeneous Multirobot Systems
    56 citations · 2022
  3. 3
    Decomposition-Based Hierarchical Task Allocation and Planning for Multi-Robots Under Hierarchical Temporal Logic Specifications
    13 citations · 2024
  4. 4
    Socially-Aware Robot Planning via Bandit Human Feedback
    12 citations · 2020
  5. 5
    Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
    6 citations · 2022
  6. 6
    An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis
    6 citations · 2019
  7. 7
    Human-in-the-Loop Robot Planning with Non-Contextual Bandit Feedback
    5 citations · 2021
  8. 8
    Temporal Logic Task Allocation in Heterogeneous Multi-Robot Systems
    4 citations · 2021
  9. 9
    Simultaneous Task Allocation and Planning for Multirobots Under Hierarchical Temporal Logic Specifications
    2 citations · 2025
  10. 10
    Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Specifications
    1 citations · 2025

Key Collaborators

MMMichael M. Zavlanos7 shared papersCLChangliu Liu3 shared papersYKYiannis Kantaros2 shared papersSXShaojun Xu2 shared papersYZYan Zhang1 shared papersMPMiroslav Pajić1 shared papersSSShiqi Sun1 shared papersYZYan Zhang1 shared papersYZYan Zhang1 shared papersRLRuixuan Liu1 shared papersYHYutong Huang1 shared papersLLLetian Leng1 shared papersYZYijie Zhou1 shared papersPVPanagiotis Vlantis1 shared papers
Not generated yet