activity
20222024
most citedA Tool for Neural Network Global Robustness Certification and Training

7 citations · 11 across the 12 of their papers we have counts for

collaborators

12 papers

cs.SE2024

ContextModule: Improving Code Completion via Repository-level Contextual Information

Zhanming Guan, Junlin Liu, Jierui Liu +7

Large Language Models (LLMs) have demonstrated impressive capabilities in code completion tasks, where they assist developers by predicting and generating new code in real-time. Ho…

cs.LG2024

Rethinking Inverse Reinforcement Learning: from Data Alignment to Task Alignment

Weichao Zhou, Wenchao Li

Many imitation learning (IL) algorithms use inverse reinforcement learning (IRL) to infer a reward function that aligns with the demonstration. However, the inferred reward functio…

eess.SY2024

Secure Control of Connected and Automated Vehicles Using Trust-Aware Robust Event-Triggered Control Barrier Functions

H M Sabbir Ahmad, Ehsan Sabouni, Akua Dickson +3

We address the security of a network of Connected and Automated Vehicles (CAVs) cooperating to safely navigate through a conflict area (e.g., traffic intersections, merging roadway…

quant-ph20231 cited

Localising two sub-diffraction emitters in 3D using quantum correlation microscopy

Shuo Li, Wenchao Li, Qiang Sun +4

The localisation of fluorophores is an important aspect of the determination of the biological function of cellular systems. Quantum correlation microscopy (QCM) is a promising tec…

cs.MA2023

Trust-Aware Resilient Control and Coordination of Connected and Automated Vehicles

H M Sabbir Ahmad, Ehsan Sabouni, Wei Xiao +2

We address the security of a network of Connected and Automated Vehicles (CAVs) cooperating to navigate through a conflict area. Adversarial attacks such as Sybil attacks can cause…

cs.RO2023

Optimal Control of Connected Automated Vehicles with Event-Triggered Control Barrier Functions: a Test Bed for Safe Optimal Merging

Ehsan Sabouni, H. M. Sabbir Ahmad, Wei Xiao +2

We address the problem of controlling Connected and Automated Vehicles (CAVs) in conflict areas of a traffic network subject to hard safety constraints. It has been shown that such…