24 citations · 38 across the 2 of their papers we have counts for
2 papers
cs.RO2021★ 14 cited
Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment
Zhiliang Li, Mingyu Cai, Shaoping Xiao +1
Motion planning of an autonomous system with high-level specifications has wide applications. However, research of formal languages involving timed temporal logic is still under in…
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…