1 code implementation • 8 Jan 2024 • Xusheng Luo, Changliu Liu
Past research into robotic planning with temporal logic specifications, notably Linear Temporal Logic (LTL), was largely based on singular formulas for individual or groups of robots.
no code implementations • 20 Aug 2023 • Xusheng Luo, Shaojun Xu, Ruixuan Liu, Changliu Liu
Past research into robotic planning with temporal logic specifications, notably Linear Temporal Logic (LTL), was largely based on singular formulas for individual or groups of robots.
no code implementations • 8 Mar 2021 • Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos
Using this abstraction, we propose a method to compute tight bounds on the safety probabilities of nodes in this graph, despite possible over-approximations of the transition probabilities between these nodes.
no code implementations • 14 Jan 2021 • Xusheng Luo, Michael M. Zavlanos
To obtain a scalable solution to this complex temporal logic task allocation problem, we propose a hierarchical approach that first allocates specific robots to tasks using the information about the tasks contained in the Nondeterministic Buchi Automaton (NBA) that captures the LTL specification, and then designs low-level executable plans for the robots that respect the high-level assignment.
Robotics
no code implementations • 30 Mar 2020 • Xusheng Luo, Luxin Liu, Yonghua Yang, Le Bo, Yuanpeng Cao, Jinhang Wu, Qiang Li, Keping Yang, Kenny Q. Zhu
However, user needs in e-commerce are still not well defined, and none of the existing ontologies has the enough depth and breadth for universal user needs understanding.
1 code implementation • 8 Oct 2019 • Xusheng Luo, Yonghua Yang, Kenny Q. Zhu, Yu Gong, Keping Yang
Understanding latent user needs beneath shopping behaviors is critical to e-commercial applications.
1 code implementation • EMNLP 2018 • Kangqi Luo, Fengli Lin, Xusheng Luo, Kenny Zhu
Answering complex questions that involve multiple entities and multiple relations using a standard knowledge base is an open and challenging task.
1 code implementation • 30 Mar 2018 • Yu Gong, Xusheng Luo, Yu Zhu, Wenwu Ou, Zhao Li, Muhua Zhu, Kenny Q. Zhu, Lu Duan, Xi Chen
Slot filling is a critical task in natural language understanding (NLU) for dialog systems.
1 code implementation • 30 Mar 2018 • Yu Gong, Xusheng Luo, Kenny Q. Zhu, Wenwu Ou, Zhao Li, Lu Duan
This paper studies the problem of automatically extracting a short title from a manually written longer description of E-commerce products for display on mobile devices.