Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Xusheng Luo

Formal Verification of Stochastic Systems with ReLU Neural Network Controllers


Mar 08, 2021
Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos


  Access Paper or Ask Questions

Temporal Logic Task Allocation in Heterogeneous Multi-Robot Systems


Jan 20, 2021
Xusheng Luo, Michael M. Zavlanos

* 47pages, 17 figures 

  Access Paper or Ask Questions

Human-in-the-Loop Robot Planning with Non-Contextual Bandit Feedback


Nov 03, 2020
Yijie Zhou, Yan Zhang, Xusheng Luo, Michael M. Zavlanos


  Access Paper or Ask Questions

AliCoCo: Alibaba E-commerce Cognitive Concept Net


Mar 30, 2020
Xusheng Luo, Luxin Liu, Yonghua Yang, Le Bo, Yuanpeng Cao, Jinhang Wu, Qiang Li, Keping Yang, Kenny Q. Zhu

* 15 pages. Accepted by SIGMOD 2020 Industry Track 

  Access Paper or Ask Questions

Socially-Aware Robot Planning via Bandit Human Feedback


Mar 02, 2020
Xusheng Luo, Yan Zhang, Michael M. Zavlanos

* 10 pages, 3 figures 

  Access Paper or Ask Questions

Conceptualize and Infer User Needs in E-commerce


Oct 08, 2019
Xusheng Luo, Yonghua Yang, Kenny Q. Zhu, Yu Gong, Keping Yang

* 9 pages, 6 figures. Accepted by CIKM 2019 Applied Research Track 

  Access Paper or Ask Questions

An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis


Sep 02, 2019
Xusheng Luo, Yiannis Kantaros, Michael M. Zavlanos

* 20 pages, 11 figures 

  Access Paper or Ask Questions

Automatic Generation of Chinese Short Product Titles for Mobile Display


Nov 05, 2018
Yu Gong, Xusheng Luo, Kenny Q. Zhu, Wenwu Ou, Zhao Li, Lu Duan

* IAAI 2019 

  Access Paper or Ask Questions

Deep Cascade Multi-task Learning for Slot Filling in Chinese E-commerce Shopping Guide Assistant


Apr 04, 2018
Yu Gong, Xusheng Luo, Kenny Q. Zhu, Xi Chen, Wenwu Ou

* Under review 

  Access Paper or Ask Questions