77 citations · 163 across the 24 of their papers we have counts for
3 papers · 1 filter
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…
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic
Mingyu Cai, Mohammadhosein Hasanbeig, Shaoping Xiao +2
This paper investigates the motion planning of autonomous dynamical systems modeled by Markov decision processes (MDP) with unknown transition probabilities over continuous state a…
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…