Mingyu Cai

According to our database, Mingyu Cai authored at least 37 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments.

Zhangli Zhou, Ziyang Chen, Mingyu Cai, Zhijun Li, Zhen Kan, Chun-Yi Su

IEEE Trans. Ind. Electron., June, 2024

A Novel Framework for Improved Grasping of Thin and Stacked Objects.

Zhangli Zhou, Shaochen Wang, Ziyang Chen, Mingyu Cai, Zhen Kan

IEEE Trans. Artif. Intell., June, 2024

Model-free reinforcement learning for motion planning of autonomous agents with complex tasks in partially observable environments.

Junchao Li, Mingyu Cai, Zhen Kan, Shaoping Xiao

Auton. Agents Multi Agent Syst., June, 2024

TLINet: Differentiable Neural Network Temporal Logic Inference.

Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron

CoRR, 2024

Hierarchical Deep Learning for Intention Estimation of Teleoperation Manipulation in Assembly Tasks.

Mingyu Cai, Karankumar Patel, Soshi Iba, Songpo Li

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach.

Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile

Proceedings of the American Control Conference, 2024

2023

Model-based motion planning in POMDPs with temporal logic specifications.

Junchao Li, Mingyu Cai, Zhaoan Wang, Shaoping Xiao

Adv. Robotics, July, 2023

Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications.

Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile

IEEE Robotics Autom. Lett., April, 2023

Optimal Probabilistic Motion Planning With Potential Infeasible LTL Constraints.

Mingyu Cai, Shaoping Xiao, Zhijun Li, Zhen Kan

IEEE Trans. Autom. Control., 2023

Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments.

Junchao Li, Mingyu Cai, Zhen Kan, Shaoping Xiao

CoRR, 2023

Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning.

Guang Yang, Mingyu Cai, Ahmad Ahmad, Calin Belta, Roberto Tron

CoRR, 2023

Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees.

Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta

Proceedings of the Learning for Dynamics and Control Conference, 2023

Successive Cancellation List Algorithm Based on Path Metric in Polar Code Decoding.

Shufeng Li, Baoxin Su, Yu Guo, Mingyu Cai

Proceedings of the 23rd IEEE International Conference on Communication Technology, 2023

3D Visualization of Forest Fire Spread Model Based on Cellular Automata.

Zeqing Hou, Yu Sun, Mingyu Cai

Proceedings of the 8th International Conference on Computer and Communication Systems, 2023

Gait Recognition by Jointing Transformer and CNN.

Mingyu Cai, Ming Wang, Shunli Zhang

Proceedings of the Biometric Recognition - 17th Chinese Conference, 2023

Learning Signal Temporal Logic through Neural Network for Interpretable Classification.

Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron

Proceedings of the American Control Conference, 2023

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.

Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile

Proceedings of the American Control Conference, 2023

2022

An Ultra-Reliable Low-Latency Non-Binary Polar Coded SCMA Scheme.

Shufeng Li, Mingyu Cai, Libiao Jin, Yao Sun, Hongda Wu, Ping Wang

IEEE Trans. Veh. Technol., 2022

Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications.

Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile

IEEE Robotics Autom. Lett., 2022

Intelligent Traffic Light via Policy-based Deep Reinforcement Learning.

Yue Zhu, Mingyu Cai, Chris W. Schwarz, Junchao Li, Shaoping Xiao

Int. J. Intell. Transp. Syst. Res., 2022

Research on encoding and decoding of non-binary polar codes over <i>GF</i>(2^<i>m</i>).

Shufeng Li, Mingyu Cai, Robert Edwards, Yao Sun, Libiao Jin

Digit. Commun. Networks, 2022

Online Motion Planning With Soft Metric Interval Temporal Logic in Unknown Dynamic Environment.

Zhiliang Li, Mingyu Cai, Shaoping Xiao, Zhen Kan

IEEE Control. Syst. Lett., 2022

A Robotic Visual Grasping Design: Rethinking Convolution Neural Network with High-Resolutions.

Zhangli Zhou, Shaochen Wang, Ziyang Chen, Mingyu Cai, Zhen Kan

CoRR, 2022

Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications.

Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile

CoRR, 2022

2021

Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic.

Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan

IEEE Robotics Autom. Lett., October, 2021

Learning-Based Probabilistic LTL Motion Planning With Environment and Motion Uncertainties.

Mingyu Cai, Hao Peng, Zhijun Li, Zhen Kan

IEEE Trans. Autom. Control., 2021

Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints.

Mingyu Cai, Hao Peng, Zhijun Li, Hongbo Gao, Zhen Kan

IEEE Control. Syst. Lett., 2021

Time-Incremental Learning from Data Using Temporal Logics.

Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta

CoRR, 2021

Online Motion Planning with Soft Timed Temporal Logic in Dynamic and Unknown Environment.

Zhiliang Li, Mingyu Cai, Shaoping Xiao, Zhen Kan

CoRR, 2021

Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions.

Mingyu Cai, Cristian-Ioan Vasile

CoRR, 2021

Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Büchi Automata.

Mingyu Cai, Shaoping Xiao, Zhen Kan

CoRR, 2021

Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction.

Mingyu Cai, Shaoping Xiao, Baoluo Li, Zhiliang Li, Zhen Kan

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

An Improved Simplified Soft Cancellation Decoding Algorithm for Polar Codes Based on Frozen Bit Check.

Mingyu Cai, Shufeng Li, Zhicheng Liu

Proceedings of the 21st International Conference on Communication Technology, 2021

Receding Horizon Control Based Motion Planning with Partially Infeasible LTL Constrains.

Mingyu Cai, Hao Peng, Zhijun Li, Hongbo Gao, Zhen Kan

Proceedings of the 2021 American Control Conference, 2021

2020

Optimal Probabilistic Motion Planning with Partially Infeasible LTL Constraints.

Mingyu Cai, Zhijun Li, Hongbo Gao, Shaoping Xiao, Zhen Kan

CoRR, 2020

Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications.

Mingyu Cai, Hao Peng, Zhijun Li, Hongbo Gao, Zhen Kan

CoRR, 2020

2019

Characterizing Herdability of Signed Networks via Graph Walks.

Baike She, Mingyu Cai, Zhen Kan

Proceedings of the 58th IEEE Conference on Decision and Control, 2019