77 citations · 121 across the 8 of their papers we have counts for
Showing 2021 · cs.ROShow all
2 papers · 2 filters
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.RO2021★ 5 cited
Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata
Mingyu Cai, Shaoping Xiao, Zhijun Li +1
This paper studies the control synthesis of motion planning subject to uncertainties. The uncertainties are considered in robot motions and environment properties, giving rise to t…