research
∙
09/20/2023
Simulation-aided Learning from Demonstration for Robotic LEGO Construction
Recent advancements in manufacturing have a growing demand for fast, aut...
share
research
∙
08/20/2023
Robotic Planning under Hierarchical Temporal Logic Specifications
Past research into robotic planning with temporal logic specifications, ...
research
∙
03/08/2021
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
In this work, we address the problem of formal safety verification for s...
research
∙
01/14/2021
Temporal Logic Task Allocation in Heterogeneous Multi-Robot Systems
In this paper, we consider the problem of optimally allocating tasks, ex...
research
∙
11/03/2020
Human-in-the-Loop Robot Planning with Non-Contextual Bandit Feedback
In this paper, we consider a robot navigation problem in environments po...
research
∙
03/30/2020
AliCoCo: Alibaba E-commerce Cognitive Concept Net
One of the ultimate goals of e-commerce platforms is to satisfy various ...
research
∙
03/02/2020
Socially-Aware Robot Planning via Bandit Human Feedback
In this paper, we consider the problem of designing collision-free, dyna...
research
∙
10/08/2019
Conceptualize and Infer User Needs in E-commerce
Understanding latent user needs beneath shopping behaviors is critical t...
research
∙
09/02/2019
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis
The majority of existing Linear Temporal Logic (LTL) planning methods re...
research
∙
03/25/2019
A Scalable and Optimal Graph-Search Method for Secure State Estimation
The growing complexity of modern Cyber-Physical Systems (CPS) and the fr...
research
∙
03/30/2018
Automatic Generation of Chinese Short Product Titles for Mobile Display
This paper studies the problem of automatically extracting a short title...
research
∙
03/30/2018