Showing 2024Show all
2 papers · 1 filter
cs.LO2024
TLINet: Differentiable Neural Network Temporal Logic Inference
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile +1
There has been a growing interest in extracting formal descriptions of the system behaviors from data. Signal Temporal Logic (STL) is an expressive formal language used to describe…
cs.RO2024
Hierarchical Deep Learning for Intention Estimation of Teleoperation Manipulation in Assembly Tasks
Mingyu Cai, Karankumar Patel, Soshi Iba +1
In human-robot collaboration, shared control presents an opportunity to teleoperate robotic manipulation to improve the efficiency of manufacturing and assembly processes. Robots a…