5 citations · 10 across the 22 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
eess.SY2023★ 5 cited
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
Siqi Wang, Shaoyuan Li, Li Yin +1
This paper investigates the problem of designing control policies that satisfy high-level specifications described by signal temporal logic (STL) in unknown, stochastic environment…
eess.SY2023★ 1 cited
Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control
Dingran Yuan, Xinyi Yu, Shaoyuan Li +1
Ensuring safety for vehicle overtaking systems is one of the most fundamental and challenging tasks in autonomous driving. This task is particularly intricate when the vehicle must…
eess.SY2023
NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots
Ruijia Liu, Shaoyuan Li, Xiang Yin
In this work, we investigate task planning for mobile robots under linear temporal logic (LTL) specifications. This problem is particularly challenging when robots navigate in cont…