11 citations · 26 across the 10 of their papers we have counts for
10 papers
Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
Xusheng Luo, Shaojun Xu, Ruixuan Liu +1
Past research into robotic planning with temporal logic specifications, notably Linear Temporal Logic (LTL), was largely based on a single formula for individual or groups of robot…
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
Shiqi Sun, Yan Zhang, Xusheng Luo +3
In this work, we address the problem of formal safety verification for stochastic cyber-physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to fi…
Human-in-the-Loop Robot Planning with Non-Contextual Bandit Feedback
Yijie Zhou, Yan Zhang, Xusheng Luo +1
In this paper, we consider a robot navigation problem in environments populated by humans. The goal is to determine collision-free and dynamically feasible trajectories that also m…
AliCoCo: Alibaba E-commerce Cognitive Concept Net
Xusheng Luo, Luxin Liu, Yonghua Yang +6
One of the ultimate goals of e-commerce platforms is to satisfy various shopping needs for their customers. Much efforts are devoted to creating taxonomies or ontologies in e-comme…
Socially-Aware Robot Planning via Bandit Human Feedback
Xusheng Luo, Yan Zhang, Michael M. Zavlanos
In this paper, we consider the problem of designing collision-free, dynamically feasible, and socially-aware trajectories for robots operating in environments populated by humans.…
Conceptualize and Infer User Needs in E-commerce
Xusheng Luo, Yonghua Yang, Kenny Q. Zhu +2
Understanding latent user needs beneath shopping behaviors is critical to e-commercial applications. Without a proper definition of user needs in e-commerce, most industry solution…