5 citations · 7 across the 13 of their papers we have counts for
Showing 2023Show all
2 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…