Follow
Mingyu Cai
Title
Cited by
Cited by
Year
Modular deep reinforcement learning for continuous motion planning with temporal logic
M Cai, M Hasanbeig, S Xiao, A Abate, Z Kan
IEEE Robotics and Automation Letters 6 (4), 7973-7980, 2021
732021
Learning-based probabilistic LTL motion planning with environment and motion uncertainties
M Cai, H Peng, Z Li, Z Kan
IEEE Transactions on Automatic Control 66 (5), 2386-2392, 2020
482020
Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints
M Cai, S Xiao, Z Li, Z Kan
IEEE Transactions on Automatic Control, 2021
34*2021
Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications
M Cai, H Peng, Z Li, H Gao, Z Kan
IEEE Control Systems Letters 5 (4), 1279-1284, 2020
29*2020
Reinforcement learning based temporal logic control with maximum probabilistic satisfaction
M Cai, S Xiao, B Li, Z Li, Z Kan
2021 IEEE International Conference on Robotics and Automation (ICRA), 2020
282020
Overcoming exploration: Deep reinforcement learning for continuous control in cluttered environments from temporal logic specifications
M Cai, E Aasi, C Belta, CI Vasile
IEEE Robotics and Automation Letters 8 (4), 2158-2165, 2023
23*2023
Safe-critical modular deep reinforcement learning with temporal logic through gaussian processes and control barrier functions
M Cai, CI Vasile
IEEE Transactions on Automation and Control (TAC), submitted., 2021
112021
Reinforcement learning based temporal logic control with soft constraints using limit-deterministic generalized buchi automata
M Cai, S Xiao, Z Li, Z Kan
arXiv preprint arXiv: 2101.10284, 2021
10*2021
Online motion planning with soft metric interval temporal logic in unknown dynamic environment
Z Li, M Cai, S Xiao, Z Kan
IEEE Control Systems Letters 6, 2293-2298, 2022
9*2022
Intelligent Traffic Light via Policy-based Deep Reinforcement Learning
Y Zhu, M Cai, C Schwarz, J Li, S Xiao
International Journal of Intelligent Transportation Systems Research, 2021
92021
Safe reinforcement learning under temporal logic with reward design and quantum action selection
M Cai, S Xiao, J Li, Z Kan
Scientific reports 13 (1), 1925, 2023
82023
Safety-Critical Learning of Robot Control with Temporal Logic Specifications
M Cai, CI Vasile
arXiv preprint arXiv:2109.02791, 2021
62021
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
M Cai, M Mann, Z Serlin, K Leahy, CI Vasile
2023 American control conference (ACC), 2022
52022
Learning Signal Temporal Logic through Neural Network for Interpretable Classification
D Li, M Cai, CI Vasile, R Tron
2023 American control conference (ACC), 2022
52022
Local Observation Based Reactive Temporal Logic Planning of Human-Robot Systems
Z Zhou, S Wang, Z Chen, M Cai, H Wang, Z Li, Z Kan
IEEE Transactions on Automation Science and Engineering (TASE), 2023
42023
Model-based motion planning in POMDPs with temporal logic specifications
J Li, M Cai, Z Wang, S Xiao
Advanced Robotics 37 (14), 871-886, 2023
42023
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees
E Aasi, M Cai, CI Vasile, C Belta
Learning for Dynamics and Control Conference (L4DC), 547-559, 2023
4*2023
Probabilistic coordination of heterogeneous teams from capability temporal logic specifications
M Cai, K Leahy, Z Serlin, CI Vasile
IEEE Robotics and Automation Letters 7 (2), 1190-1197, 2021
42021
Characterizing herdability of signed networks via graph walks
B She, M Cai, Z Kan
2019 IEEE 58th Conference on Decision and Control (CDC), 5456-5461, 2019
42019
Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning
G Yang, M Cai, A Ahmad, C Belta, R Tron
arXiv preprint arXiv:2304.00790, 2023
32023
The system can't perform the operation now. Try again later.
Articles 1–20