Wenbo Guo

8

Papers

8

Total Citations

Papers (8)

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification

Temporal Logic-Based Multi-Vehicle Backdoor Attacks against Offline RL Agents in End-to-end Autonomous Driving

3CAD: A Large-Scale Real-World 3C Product Dataset for Unsupervised Anomaly Detection

SHINE: Shielding Backdoors in Deep Reinforcement Learning

StateMask: Explaining Deep Reinforcement Learning through State Mask

Explaining Deep Learning Models -- A Bayesian Non-parametric Approach

EDGE: Explaining Deep Reinforcement Learning Policies

BIRD: Generalizable Backdoor Detection and Removal for Deep Reinforcement Learning