Mingyu Cai - RankMe

61 papers A* 2A 2C 5Journal 46Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Conformalized Signal Temporal Logic Inference under Covariate Shift. CoRR Yixuan Wang, Danyang Li, Matthew Cleaveland, Roberto Tron, Mingyu Cai
2025	J	`jnl`	A Two-Level Control Algorithm for Autonomous Driving in Urban Environments. IEEE Trans. Intell. Transp. Syst. Erfan Aasi, Mingyu Cai, Cristian-Ioan Vasile, Calin Belta
2025	A	`conf`	A Unified Framework to Learn Collision-Free Loco-Manipulation via Adversarial Motion Priors. IROS Huayang Yin, Tangyu Qian, Mingrui Li, Guanchen Lu, Mingyu Cai, Zhen Kan
2025	J	`jnl`	Bridging Deep Reinforcement Learning and Motion Planning for Model-Free Navigation in Cluttered Environments. CoRR Licheng Luo, Mingyu Cai
2025	J	`jnl`	Conformal Prediction for Signal Temporal Logic Inference. CoRR Danyang Li, Yixuan Wang, Matthew Cleaveland, Mingyu Cai, Roberto Tron
2025	J	`jnl`	Deadlock-Free Hybrid RL-MAPF Framework for Zero-Shot Multi-Robot Navigation. CoRR Haoyi Wang, Licheng Luo, Yiannis Kantaros, Bruno Sinopoli, Mingyu Cai
2025	J	`jnl`	Fast Motion Planning in Dynamic Environments With Extended Predicate-Based Temporal Logic. IEEE Trans Autom. Sci. Eng. Ziyang Chen, Mingyu Cai, Zhangli Zhou, Lin Li, Zhen Kan
2025	C	`conf`	LQR-CBF-RRT*: Safe and Optimal Motion Planning. ACC Guang Yang, Mingyu Cai, Ahmad Ahmad, Amanda Prorok, Roberto Tron, Calin Belta
2025	J	`jnl`	Local Observation Based Reactive Temporal Logic Planning of Human-Robot Systems. IEEE Trans Autom. Sci. Eng. Zhangli Zhou, Shaochen Wang, Ziyang Chen, Mingyu Cai, Hao Wang, Zhijun Li, Zhen Kan
2025	J	`jnl`	NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks. CoRR Licheng Luo, Yu Xia, Kaier Liang, Mingyu Cai
2025	J	`jnl`	Reinforcement learning-based motion planning in partially observable environments under ethical constraints. AI Ethics Junchao Li, Mingyu Cai, Shaoping Xiao
2025	J	`jnl`	Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction. CoRR Kaier Liang, Guang Yang, Mingyu Cai, Cristian-Ioan Vasile
2025	J	`jnl`	Safety-Critical Learning of Robot Control With Temporal Logic Specifications. IEEE Trans. Autom. Control. Mingyu Cai, Cristian-Ioan Vasile
2025	J	`jnl`	Time-aware Motion Planning in Dynamic Environments with Conformal Prediction. CoRR Kaier Liang, Licheng Luo, Yixuan Wang, Mingyu Cai, Cristian Ioan Vasile
2025	J	`jnl`	Visual Object Tracking With Multi-Frame Distractor Suppression. IEEE Trans. Circuits Syst. Video Technol. Yamin Han, Mingyu Cai, Jie Wu, Zhixuan Bai, Tao Zhuo, Hongming Zhang, Yanning Zhang
2024	J	`jnl`	A Novel Framework for Improved Grasping of Thin and Stacked Objects. IEEE Trans. Artif. Intell. Zhangli Zhou, Shaochen Wang, Ziyang Chen, Mingyu Cai, Zhen Kan
2024	C	`conf`	Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach. ACC Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile
2024	A*	`conf`	Hierarchical Deep Learning for Intention Estimation of Teleoperation Manipulation in Assembly Tasks. ICRA Mingyu Cai, Karankumar Patel, Soshi Iba, Songpo Li
2024	J	`jnl`	Hierarchical Deep Learning for Intention Estimation of Teleoperation Manipulation in Assembly Tasks. CoRR Mingyu Cai, Karankumar Patel, Soshi Iba, Songpo Li
2024	A	`conf`	LEEPS: Learning End-to-End Legged Perceptive Parkour Skills on Challenging Terrains. IROS Tangyu Qian, Hao Zhang, Zhangli Zhou, Hao Wang, Mingyu Cai, Zhen Kan
2024	J	`jnl`	Model-free reinforcement learning for motion planning of autonomous agents with complex tasks in partially observable environments. Auton. Agents Multi Agent Syst. Junchao Li, Mingyu Cai, Zhen Kan, Shaoping Xiao
2024	J	`jnl`	TLINet: Differentiable Neural Network Temporal Logic Inference. CoRR Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
2024	J	`jnl`	Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments. IEEE Trans. Ind. Electron. Zhangli Zhou, Ziyang Chen, Mingyu Cai, Zhijun Li, Zhen Kan, Chun-Yi Su
2023	—	`conf`	3D Visualization of Forest Fire Spread Model Based on Cellular Automata. ICCCS Zeqing Hou, Yu Sun, Mingyu Cai
2023	J	`jnl`	Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach. CoRR Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile
2023	J	`jnl`	Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning. CoRR Guang Yang, Mingyu Cai, Ahmad Ahmad, Calin Belta, Roberto Tron
2023	—	`conf`	Gait Recognition by Jointing Transformer and CNN. CCBR Mingyu Cai, Ming Wang, Shunli Zhang
2023	C	`conf`	Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. ACC Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2023	C	`conf`	Learning Signal Temporal Logic through Neural Network for Interpretable Classification. ACC Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
2023	J	`jnl`	Model-based motion planning in POMDPs with temporal logic specifications. Adv. Robotics Junchao Li, Mingyu Cai, Zhaoan Wang, Shaoping Xiao
2023	J	`jnl`	Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments. CoRR Junchao Li, Mingyu Cai, Zhen Kan, Shaoping Xiao
2023	J	`jnl`	Optimal Probabilistic Motion Planning With Potential Infeasible LTL Constraints. IEEE Trans. Autom. Control. Mingyu Cai, Shaoping Xiao, Zhijun Li, Zhen Kan
2023	J	`jnl`	Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications. IEEE Robotics Autom. Lett. Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
2023	—	`conf`	Successive Cancellation List Algorithm Based on Path Metric in Polar Code Decoding. ICCT Shufeng Li, Baoxin Su, Yu Guo, Mingyu Cai
2023	—	`conf`	Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees. L4DC Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
2022	J	`jnl`	A Robotic Visual Grasping Design: Rethinking Convolution Neural Network with High-Resolutions. CoRR Zhangli Zhou, Shaochen Wang, Ziyang Chen, Mingyu Cai, Zhen Kan
2022	J	`jnl`	An Ultra-Reliable Low-Latency Non-Binary Polar Coded SCMA Scheme. IEEE Trans. Veh. Technol. Shufeng Li, Mingyu Cai, Libiao Jin, Yao Sun, Hongda Wu, Ping Wang
2022	J	`jnl`	Intelligent Traffic Light via Policy-based Deep Reinforcement Learning. Int. J. Intell. Transp. Syst. Res. Yue Zhu, Mingyu Cai, Chris W. Schwarz, Junchao Li, Shaoping Xiao
2022	J	`jnl`	Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. CoRR Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2022	J	`jnl`	Learning Signal Temporal Logic through Neural Network for Interpretable Classification. CoRR Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron
2022	J	`jnl`	Online Motion Planning With Soft Metric Interval Temporal Logic in Unknown Dynamic Environment. IEEE Control. Syst. Lett. Zhiliang Li, Mingyu Cai, Shaoping Xiao, Zhen Kan
2022	J	`jnl`	Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications. CoRR Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile
2022	J	`jnl`	Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. IEEE Robotics Autom. Lett. Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile
2022	J	`jnl`	Research on encoding and decoding of non-binary polar codes over Digit. Commun. Networks Shufeng Li, Mingyu Cai, Robert Edwards, Yao Sun, Libiao Jin
2021	—	`conf`	An Improved Simplified Soft Cancellation Decoding Algorithm for Polar Codes Based on Frozen Bit Check. ICCT Mingyu Cai, Shufeng Li, Zhicheng Liu
2021	J	`jnl`	An Ultra-Reliable Low-Latency Non-Binary Polar Coded SCMA Scheme. CoRR Shufeng Li, Mingyu Cai, Libiao Jin, Yao Sun, Hongda Wu, Ping Wang
2021	J	`jnl`	Intelligent Traffic Light via Policy-based Deep Reinforcement Learning. CoRR Yue Zhu, Mingyu Cai, Chris Schwarz, Junchao Li, Shaoping Xiao
2021	J	`jnl`	Learning-Based Probabilistic LTL Motion Planning With Environment and Motion Uncertainties. IEEE Trans. Autom. Control. Mingyu Cai, Hao Peng, Zhijun Li, Zhen Kan
2021	J	`jnl`	Modular Deep Reinforcement Learning for Continuous Motion Planning With Temporal Logic. IEEE Robotics Autom. Lett. Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan
2021	J	`jnl`	Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic. CoRR Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao, Alessandro Abate, Zhen Kan
2021	J	`jnl`	Online Motion Planning with Soft Timed Temporal Logic in Dynamic and Unknown Environment. CoRR Zhiliang Li, Mingyu Cai, Shaoping Xiao, Zhen Kan
2021	C	`conf`	Receding Horizon Control Based Motion Planning with Partially Infeasible LTL Constrains. ACC Mingyu Cai, Hao Peng, Zhijun Li, Hongbo Gao, Zhen Kan
2021	J	`jnl`	Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints. IEEE Control. Syst. Lett. Mingyu Cai, Hao Peng, Zhijun Li, Hongbo Gao, Zhen Kan
2021	A*	`conf`	Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction. ICRA Mingyu Cai, Shaoping Xiao, Baoluo Li, Zhiliang Li, Zhen Kan
2021	J	`jnl`	Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Büchi Automata. CoRR Mingyu Cai, Shaoping Xiao, Zhen Kan
2021	J	`jnl`	Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions. CoRR Mingyu Cai, Cristian-Ioan Vasile
2021	J	`jnl`	Time-Incremental Learning from Data Using Temporal Logics. CoRR Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta
2020	J	`jnl`	Optimal Probabilistic Motion Planning with Partially Infeasible LTL Constraints. CoRR Mingyu Cai, Zhijun Li, Hongbo Gao, Shaoping Xiao, Zhen Kan
2020	J	`jnl`	Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications. CoRR Mingyu Cai, Hao Peng, Zhijun Li, Hongbo Gao, Zhen Kan
2020	J	`jnl`	Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction. CoRR Mingyu Cai, Shaoping Xiao, Baoluo Li, Zhiliang Li, Zhen Kan
2019	—	`conf`	Characterizing Herdability of Signed Networks via Graph Walks. CDC Baike She, Mingyu Cai, Zhen Kan