Search Results for author:
Found 10 papers, 5 papers with code
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
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.
Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
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.
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
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.
Temporal Logic Task Allocation in Heterogeneous Multi-Robot Systems
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
AliCoCo: Alibaba E-commerce Cognitive Concept Net
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.
Conceptualize and Infer User Needs in E-commerce
Understanding latent user needs beneath shopping behaviors is critical to e-commercial applications.
Knowledge Base Question Answering via Encoding of Complex Query Graphs
Answering complex questions that involve multiple entities and multiple relations using a standard knowledge base is an open and challenging task.
Deep Cascade Multi-task Learning for Slot Filling in Online Shopping Assistant
Slot filling is a critical task in natural language understanding (NLU) for dialog systems.
Automatic Generation of Chinese Short Product Titles for Mobile Display
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.
