77 citations · 121 across the 8 of their papers we have counts for
4 papers · 1 filter
Reinforcement learning with timed constraints for robotics motion planning
Zhaoan Wang, Junchao Li, Mahdi Mohammad +1
Robotic systems operating in dynamic and uncertain environments increasingly require planners that satisfy complex task sequences while adhering to strict temporal constraints. Met…
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…
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…
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…