Xusheng Luo

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 34

Top Topics

Formal Verification

State Estimation

Mazurkiewicz Traces

Open Information Extraction

Top Venues

Publications

Xusheng Luo, Shaojun Xu, Ruixuan Liu, Changliu Liu
Decomposition-Based Hierarchical Task Allocation and Planning for Multi-Robots Under Hierarchical Temporal Logic Specifications. IEEE Robotics Autom. Lett. 9 (8) (2024)
Tianhao Wei, Luca Marzari, Kai S. Yun, Hanjiang Hu, Peizhi Niu, Xusheng Luo, Changliu Liu
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks. CoRR (2024)
Xusheng Luo, Changliu Liu
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications. CoRR (2024)
Xusheng Luo, Shaojun Xu, Ruixuan Liu, Changliu Liu
Robotic Planning under Hierarchical Temporal Logic Specifications. CoRR (2023)
Yizhu Liu, Xinyue Chen, Xusheng Luo, Kenny Q. Zhu
Reducing repetition in convolutional abstractive summarization. Nat. Lang. Eng. 29 (1) (2023)
Ruixuan Liu, Alan Chen, Xusheng Luo, Changliu Liu
Simulation-aided Learning from Demonstration for Robotic LEGO Construction. CoRR (2023)
Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. ICRA (2022)
Xusheng Luo, Michael M. Zavlanos
Temporal Logic Task Allocation in Heterogeneous Multirobot Systems. IEEE Trans. Robotics 38 (6) (2022)
Xuejiao Zhao, Yong Liu, Yonghui Xu, Yonghua Yang, Xusheng Luo, Chunyan Miao
Heterogeneous star graph attention network for product attributes prediction. Adv. Eng. Informatics 51 (2022)
Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos
An optimal graph-search method for secure state estimation. Autom. 123 (2021)
Yijie Zhou, Yan Zhang, Xusheng Luo, Michael M. Zavlanos
Human-in-the-Loop Robot Planning with Non-Contextual Bandit Feedback. CDC (2021)
Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. CoRR (2021)
Xusheng Luo, Michael M. Zavlanos
Temporal Logic Task Allocation in Heterogeneous Multi-Robot Systems. CoRR (2021)
Xusheng Luo, Yiannis Kantaros, Michael M. Zavlanos
An Abstraction-Free Method for Multirobot Temporal Logic Optimal Control Synthesis. IEEE Trans. Robotics 37 (5) (2021)
Xusheng Luo, Le Bo, Jinhang Wu, Lin Li, Zhiy Luo, Yonghua Yang, Keping Yang
AliCoCo2: Commonsense Knowledge Extraction, Representation and Application in E-commerce. KDD (2021)
Xusheng Luo, Luxin Liu, Yonghua Yang, Le Bo, Yuanpeng Cao, Jinghang Wu, Qiang Li, Keping Yang, Kenny Q. Zhu
AliCoCo: Alibaba E-commerce Cognitive Concept Net. SIGMOD Conference (2020)
Duc M. Le, Xusheng Luo, Leila Jasmine Bridgeman, Michael M. Zavlanos, Warren E. Dixon
Single-Agent Indirect Herding of Multiple Targets using Metric Temporal Logic Switching. CDC (2020)
Yijie Zhou, Yan Zhang, Xusheng Luo, Michael M. Zavlanos
Human-in-the-Loop Robot Planning with Non-Contextual Bandit Feedback. CoRR (2020)
Xusheng Luo, Luxin Liu, Yonghua Yang, Le Bo, Yuanpeng Cao, Jinhang Wu, Qiang Li, Keping Yang, Kenny Q. Zhu
AliCoCo: Alibaba E-commerce Cognitive Concept Net. CoRR (2020)
Xusheng Luo, Yan Zhang, Michael M. Zavlanos
Socially-Aware Robot Planning via Bandit Human Feedback. ICCPS (2020)
Xusheng Luo, Yan Zhang, Michael M. Zavlanos
Socially-Aware Robot Planning via Bandit Human Feedback. CoRR (2020)
Xusheng Luo, Michael M. Zavlanos
Transfer Planning for Temporal Logic Tasks. CDC (2019)
Xusheng Luo, Yonghua Yang, Kenny Q. Zhu, Yu Gong, Keping Yang
Conceptualize and Infer User Needs in E-commerce. CoRR (2019)
Yu Gong, Xusheng Luo, Kenny Q. Zhu, Wenwu Ou, Zhao Li, Lu Duan
Automatic Generation of Chinese Short Product Titles for Mobile Display. AAAI (2019)
Yu Gong, Xusheng Luo, Yu Zhu, Wenwu Ou, Zhao Li, Muhua Zhu, Kenny Q. Zhu, Lu Duan, Xi Chen
Deep Cascade Multi-Task Learning for Slot Filling in Online Shopping Assistant. AAAI (2019)
Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos
A Scalable and Optimal Graph-Search Method for Secure State Estimation. CoRR (2019)
Xusheng Luo, Yiannis Kantaros, Michael M. Zavlanos
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis. CoRR (2019)
Xusheng Luo, Yonghua Yang, Kenny Qili Zhu, Yu Gong, Keping Yang
Conceptualize and Infer User Needs in E-commerce. CIKM (2019)
Yu Gong, Xusheng Luo, Kenny Q. Zhu, Xi Chen, Wenwu Ou
Deep Cascade Multi-task Learning for Slot Filling in Chinese E-commerce Shopping Guide Assistant. CoRR (2018)
Xusheng Luo, Kangqi Luo, Xianyang Chen, Kenny Q. Zhu
Cross-Lingual Entity Linking for Web Tables. AAAI (2018)
Yu Gong, Xusheng Luo, Kenny Q. Zhu, Shichen Liu, Wenwu Ou
Automatic Generation of Chinese Short Product Titles for Mobile Display. CoRR (2018)
Xusheng Luo, Yu Gong, Xi Chen
Central Intention Identification for Natural Language Search Query in E-Commerce. eCOM@SIGIR (2018)
Kangqi Luo, Fengli Lin, Xusheng Luo, Kenny Q. Zhu
Knowledge Base Question Answering via Encoding of Complex Query Graphs. EMNLP (2018)
Kangqi Luo, Xusheng Luo, Xianyang Chen, Kenny Q. Zhu
A Data-Driven Approach to Infer Knowledge Base Representation for Natural Language Relations. IJCAI (2017)
Kangqi Luo, Xusheng Luo, Kenny Qili Zhu
Inferring Binary Relation Schemas for Open Information Extraction. EMNLP (2015)