77 citations · 187 across the 16 of their papers we have counts for
4 papers · 1 filter
Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile +1
Machine learning techniques using neural networks have achieved promising success for time-series data classification. However, the models that they produce are challenging to veri…
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Mingyu Cai, Makai Mann, Zachary Serlin +2
This paper explores continuous-time control synthesis for target-driven navigation to satisfy complex high-level tasks expressed as linear temporal logic (LTL). We propose a model-…
A Robotic Visual Grasping Design: Rethinking Convolution Neural Network with High-Resolutions
Zhangli Zhou, Shaochen Wang, Ziyang Chen +2
High-resolution representations are important for vision-based robotic grasping problems. Existing works generally encode the input images into low-resolution representations via s…
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
Mingyu Cai, Erfan Aasi, Calin Belta +1
Model-free continuous control for robot navigation tasks using Deep Reinforcement Learning (DRL) that relies on noisy policies for exploration is sensitive to the density of reward…