77 citations · 187 across the 16 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.FL2020★ 24 cited
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction
Mingyu Cai, Shaoping Xiao, Baoluo Li +2
This paper presents a model-free reinforcement learning (RL) algorithm to synthesize a control policy that maximizes the satisfaction probability of linear temporal logic (LTL) spe…
cs.RO2020★ 1 cited
Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints
Mingyu Cai, Shaoping Xiao, Zhijun Li +1
This paper studies optimal motion planning subject to motion and environment uncertainties. By modeling the system as a probabilistic labeled Markov decision process (PL-MDP), the…
cs.RO2020★ 24 cited
Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications
Mingyu Cai, Hao Peng, Zhijun Li +2
This work considers online optimal motion planning of an autonomous agent subject to linear temporal logic (LTL) constraints. The environment is dynamic in the sense of containing…