1 citations · 1 across the 5 of their papers we have counts for
5 papers
Filter, Obstruct and Dilute: Defending Against Backdoor Attacks on Semi-Supervised Learning
Xinrui Wang, Chuanxing Geng, Wenhai Wan +2
Recent studies have verified that semi-supervised learning (SSL) is vulnerable to data poisoning backdoor attacks. Even a tiny fraction of contaminated training data is sufficient…
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
Bowen Ye, Jianing Zhao, Shaoyuan Li +1
In this paper, we investigate the problem of linear temporal logic (LTL) path planning for multi-agent systems, introducing the new concept of \emph{ordering constraints}. Specific…
A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
Peng Lv, Shaoyuan Li, Xiang Yin
In this paper, we investigate the problem of optimal supervisory control for the discrete event systems under energy constraints. We consider that the execution of events consumes…
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…
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…