Mingyu Cai

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 44

Top Topics

Reinforcement Learning

Mazurkiewicz Traces

Partially Observable Environments

Top Venues

IEEE Robotics Autom. Lett.

IEEE Control. Syst. Lett.

Publications

Zhangli Zhou, Shaochen Wang, Ziyang Chen, Mingyu Cai, Zhen Kan
A Novel Framework for Improved Grasping of Thin and Stacked Objects. IEEE Trans. Artif. Intell. 5 (6) (2024)
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
TLINet: Differentiable Neural Network Temporal Logic Inference. CoRR (2024)
Mingyu Cai, Karankumar Patel, Soshi Iba, Songpo Li
Hierarchical Deep Learning for Intention Estimation of Teleoperation Manipulation in Assembly Tasks. ICRA (2024)
Junchao Li, Mingyu Cai, Zhen Kan, Shaoping Xiao
Model-free reinforcement learning for motion planning of autonomous agents with complex tasks in partially observable environments. Auton. Agents Multi Agent Syst. 38 (1) (2024)
Mingyu Cai, Karankumar Patel, Soshi Iba, Songpo Li
Hierarchical Deep Learning for Intention Estimation of Teleoperation Manipulation in Assembly Tasks. CoRR (2024)
Zhangli Zhou, Ziyang Chen, Mingyu Cai, Zhijun Li, Zhen Kan, Chun-Yi Su
Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments. IEEE Trans. Ind. Electron. 71 (6) (2024)
Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach. CoRR (2023)
Shufeng Li, Baoxin Su, Yu Guo, Mingyu Cai
Successive Cancellation List Algorithm Based on Path Metric in Polar Code Decoding. ICCT (2023)
Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees. L4DC (2023)
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. ACC (2023)
Mingyu Cai, Ming Wang, Shunli Zhang
Gait Recognition by Jointing Transformer and CNN. CCBR (2023)
Guang Yang, Mingyu Cai, Ahmad Ahmad, Calin Belta, Roberto Tron
Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning. CoRR (2023)
Junchao Li, Mingyu Cai, Zhaoan Wang, Shaoping Xiao
Model-based motion planning in POMDPs with temporal logic specifications. Adv. Robotics 37 (14) (2023)
Zeqing Hou, Yu Sun, Mingyu Cai
3D Visualization of Forest Fire Spread Model Based on Cellular Automata. ICCCS (2023)
Junchao Li, Mingyu Cai, Zhen Kan, Shaoping Xiao
Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments. CoRR (2023)
Mingyu Cai, Shaoping Xiao, Zhijun Li, Zhen Kan
Optimal Probabilistic Motion Planning With Potential Infeasible LTL Constraints. IEEE Trans. Autom. Control. 68 (1) (2023)
Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications. IEEE Robotics Autom. Lett. 8 (4) (2023)
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
Learning Signal Temporal Logic through Neural Network for Interpretable Classification. ACC (2023)
Yue Zhu, Mingyu Cai, Chris W. Schwarz, Junchao Li, Shaoping Xiao
Intelligent Traffic Light via Policy-based Deep Reinforcement Learning. Int. J. Intell. Transp. Syst. Res. 20 (3) (2022)
Zhiliang Li, Mingyu Cai, Shaoping Xiao, Zhen Kan
Online Motion Planning With Soft Metric Interval Temporal Logic in Unknown Dynamic Environment. IEEE Control. Syst. Lett. 6 (2022)
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
Learning Signal Temporal Logic through Neural Network for Interpretable Classification. CoRR (2022)
Zhangli Zhou, Shaochen Wang, Ziyang Chen, Mingyu Cai, Zhen Kan
A Robotic Visual Grasping Design: Rethinking Convolution Neural Network with High-Resolutions. CoRR (2022)
Shufeng Li, Mingyu Cai, Robert Edwards, Yao Sun, Libiao Jin
). Digit. Commun. Networks 8 (3) (2022)
Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7 (2) (2022)
Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications. CoRR (2022)
Shufeng Li, Mingyu Cai, Libiao Jin, Yao Sun, Hongda Wu, Ping Wang
An Ultra-Reliable Low-Latency Non-Binary Polar Coded SCMA Scheme. IEEE Trans. Veh. Technol. 71 (6) (2022)
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. CoRR (2022)
Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
Time-Incremental Learning from Data Using Temporal Logics. CoRR (2021)
Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic. CoRR (2021)
Mingyu Cai, Shufeng Li, Zhicheng Liu
An Improved Simplified Soft Cancellation Decoding Algorithm for Polar Codes Based on Frozen Bit Check. ICCT (2021)
Mingyu Cai, Shaoping Xiao, Baoluo Li, Zhiliang Li, Zhen Kan
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction. ICRA (2021)
Mingyu Cai, Shaoping Xiao, Zhen Kan
Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Büchi Automata. CoRR (2021)
Mingyu Cai, Hao Peng, Zhijun Li, Hongbo Gao, Zhen Kan
Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints. IEEE Control. Syst. Lett. 5 (4) (2021)
Mingyu Cai, Hao Peng, Zhijun Li, Zhen Kan
Learning-Based Probabilistic LTL Motion Planning With Environment and Motion Uncertainties. IEEE Trans. Autom. Control. 66 (5) (2021)
Yue Zhu, Mingyu Cai, Chris Schwarz, Junchao Li, Shaoping Xiao
Intelligent Traffic Light via Policy-based Deep Reinforcement Learning. CoRR (2021)
Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan
Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic. IEEE Robotics Autom. Lett. 6 (4) (2021)
Mingyu Cai, Cristian-Ioan Vasile
Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions. CoRR (2021)
Zhiliang Li, Mingyu Cai, Shaoping Xiao, Zhen Kan
Online Motion Planning with Soft Timed Temporal Logic in Dynamic and Unknown Environment. CoRR (2021)
Shufeng Li, Mingyu Cai, Libiao Jin, Yao Sun, Hongda Wu, Ping Wang
An Ultra-Reliable Low-Latency Non-Binary Polar Coded SCMA Scheme. CoRR (2021)
Mingyu Cai, Hao Peng, Zhijun Li, Hongbo Gao, Zhen Kan
Receding Horizon Control Based Motion Planning with Partially Infeasible LTL Constrains. ACC (2021)
Mingyu Cai, Zhijun Li, Hongbo Gao, Shaoping Xiao, Zhen Kan
Optimal Probabilistic Motion Planning with Partially Infeasible LTL Constraints. CoRR (2020)
Mingyu Cai, Shaoping Xiao, Baoluo Li, Zhiliang Li, Zhen Kan
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction. CoRR (2020)
Mingyu Cai, Hao Peng, Zhijun Li, Hongbo Gao, Zhen Kan
Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications. CoRR (2020)
Baike She, Mingyu Cai, Zhen Kan
Characterizing Herdability of Signed Networks via Graph Walks. CDC (2019)